diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2021-08-05 20:49:50 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2021-08-11 20:59:53 +0200 |
| commit | f8442e0524faddf73487d71f56a0bdd21856c2e1 (patch) | |
| tree | 079d0d8f6ec876588cab0129fcd3335ae4f606e9 /src/check_type.cpp | |
| parent | 9858989b1cd053342e68deb247e8fc475f97255a (diff) | |
big: Split up `mul` into internal and public parts.
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions