diff options
| author | Pierre Boutillier | 2014-04-23 10:02:51 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-05-26 15:24:31 +0200 |
| commit | 0f980482bcde723a5fdea00a511863e88f1284f9 (patch) | |
| tree | ddbdcc94045f7f9fc0420dede96435e63e5f584f /kernel/uint31.ml | |
| parent | 983798aff23e67007108320e6968603134a4dde3 (diff) | |
cbn: args list instead of arg number
Diffstat (limited to 'kernel/uint31.ml')
0 files changed, 0 insertions, 0 deletions