diff options
| author | Michael Soegtrop | 2019-06-09 20:07:59 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-06-11 15:00:25 +0200 |
| commit | a5c2268a4d2b314990a2148ad5161cc3c2eeb96e (patch) | |
| tree | e53cc824530ddee6989ae54d797b9c6ab4b345bf /plugins/funind | |
| parent | 45306c6c9c433b86406d041f58aafb7cf3a3ff82 (diff) | |
Resolve #9885 CoqIDE does not work on Windows
- Switch gtksourceview to 3.24.11
- Add appropriate set of icons and some other files GTK3 requires
- Add fix for ocamldebug so that this can be debugged
Diffstat (limited to 'plugins/funind')
0 files changed, 0 insertions, 0 deletions