aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/declaremods.ml
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2014-04-30 01:12:44 -0400
committerGravatar Maxime Dénès <mail@maximedenes.fr>2014-04-30 01:12:44 -0400
commitf3b3b6e4d01080da4f0ce37a06553769e9588d0e (patch)
tree8566d16013d5f98d43e8a3843e9cf75040aa5503 /library/declaremods.ml
parent3092819d4e3e1d0995c8156be0b98dce0afbcb9a (diff)
Fix Qcanon after changes on injection.
Diffstat (limited to 'library/declaremods.ml')
0 files changed, 0 insertions, 0 deletions