diff options
author | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-12 17:10:24 +0200 |
---|---|---|
committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-24 17:35:04 +0200 |
commit | f5f4bb97634f4fac3dec766db27af994e745d749 (patch) | |
tree | b6d512390b4b24b7520d5c5456c0403969017925 /toplevel/mltop.ml | |
parent | 601112e9d6f4a4095e1ba6ba20ad46b60dd9bd74 (diff) |
CLEANUP: removing superfluous (module) qualifiers
Diffstat (limited to 'toplevel/mltop.ml')
0 files changed, 0 insertions, 0 deletions