diff options
author | 2017-08-18 10:16:17 +0100 | |
---|---|---|
committer | 2017-08-18 10:16:17 +0100 | |
commit | c3c47d95ac0949797b4272f2043bef63802ce2fb (patch) | |
tree | 656a8a42359bbb17a28501d11377f3b36b153014 /dev/top_printers.ml | |
parent | 0202ebb164a4d9b57be8a6a057b654e2e75692e1 (diff) |
Don't mention coq-club at all
Diffstat (limited to 'dev/top_printers.ml')
0 files changed, 0 insertions, 0 deletions