diff options
author | 2016-10-26 19:20:08 +0200 | |
---|---|---|
committer | 2016-11-03 16:26:40 +0100 | |
commit | a477dca64bb71a98fb92875df438d44d1fe54400 (patch) | |
tree | 3db3f1d882e763d90992b3f31afa81b6104cae0a /stm/coqworkmgrApi.ml | |
parent | c5802966f23b9a8dc34f55961d4861997a3df01f (diff) |
Fix handling of only_classes at toplevel
Diffstat (limited to 'stm/coqworkmgrApi.ml')
0 files changed, 0 insertions, 0 deletions