MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 13:02:30 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
c5d7d0d9bd6ec48ed16a72a1b20a2fb1f00a1134
openide/platform/editor-ui-api
History
Dmitry Batrak 09a4a06672 fix javadoc
2017-02-02 12:27:49 +03:00
..
src/com/intellij
fix javadoc
2017-02-02 12:27:49 +03:00
editor-ui-api.iml
UISettings#SORT_LOOKUP_ELEMENTS_LEXICOGRAPHICALLY isn't saved, part 1
2017-01-30 15:51:21 +01:00