diff options
| author | Hugo Herbelin | 2018-11-19 16:37:38 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:18 +0000 |
| commit | 09fb7dbd2ca87fcd64a3d6d99eb5e537aadd0c06 (patch) | |
| tree | 77f03f6be92252ef852cf0dec1857adfb66ca11e /ide/ideutils.mli | |
| parent | 06fc3fa551aeb53fbe06acad5d42b61201927c22 (diff) | |
CoqIDE: Deactivating the user queries and wizard tactics configuration.
They rely on list and strings from configwin which themselves rely on
gtk2 only widgets.
Diffstat (limited to 'ide/ideutils.mli')
0 files changed, 0 insertions, 0 deletions