diff options
| author | Théo Zimmermann | 2019-04-09 11:03:02 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-09 11:03:02 +0200 |
| commit | c992158f28df9c9a2ca08994c913a199c5728051 (patch) | |
| tree | 7cea2033970a246b483a5d96f045d086c7583caf /ide | |
| parent | 70a00b72035be1f5c3900a78df97d7350cc70bb6 (diff) | |
Add a few missing notes to the release doc.
Diffstat (limited to 'ide')
0 files changed, 0 insertions, 0 deletions