diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2014-04-30 01:12:44 -0400 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2014-04-30 01:12:44 -0400 |
commit | f3b3b6e4d01080da4f0ce37a06553769e9588d0e (patch) | |
tree | 8566d16013d5f98d43e8a3843e9cf75040aa5503 /library/declaremods.ml | |
parent | 3092819d4e3e1d0995c8156be0b98dce0afbcb9a (diff) |
Fix Qcanon after changes on injection.
Diffstat (limited to 'library/declaremods.ml')
0 files changed, 0 insertions, 0 deletions