diff options
| author | Théo Zimmermann | 2020-01-22 17:18:20 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-22 17:18:20 +0100 |
| commit | 2b908101ab93303b20a41e9b69a5549109ec4603 (patch) | |
| tree | ee7e0cd8b979ab8fc3ded6228d61232a318dd262 /doc/changelog/09-coqide | |
| parent | e976070889c81d833dcdd36b760745dc924698aa (diff) | |
Move new entries in 8.11.0 changelog.
Diffstat (limited to 'doc/changelog/09-coqide')
| -rw-r--r-- | doc/changelog/09-coqide/11400-gtk-ide-completion.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/changelog/09-coqide/11400-gtk-ide-completion.rst b/doc/changelog/09-coqide/11400-gtk-ide-completion.rst deleted file mode 100644 index 2dc3992b9c..0000000000 --- a/doc/changelog/09-coqide/11400-gtk-ide-completion.rst +++ /dev/null @@ -1,5 +0,0 @@ -- **Changed:** - CoqIDE now uses the GtkSourceView native implementation of - the autocomplete mechanism. - (`#11400 <https://github.com/coq/coq/pull/11400>`_, - by Pierre-Marie Pédrot). |