diff options
| author | Hugo Herbelin | 2018-11-19 17:16:18 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:18 +0000 |
| commit | 06fc3fa551aeb53fbe06acad5d42b61201927c22 (patch) | |
| tree | ea0f8eb19e00557190dad0f2fe7fff4507e4f965 /dev/ci/ci-math-classes.sh | |
| parent | bcbeac04993ffbad4f4432b646614491f2d8a5d5 (diff) | |
CoqIDE: Deactiving the list and string configuration tools.
They rely on gtk2 clist and would need to be changed to list_store.
Diffstat (limited to 'dev/ci/ci-math-classes.sh')
0 files changed, 0 insertions, 0 deletions