MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-08-09 00:07:13 +07:00
Code Issues Packages Projects Releases Wiki Activity
226,470 Commits 31 Branches 8 Tags
2a8a14a5283c74a3fab8a922020fd7f43c1fc2ff
Commit Graph
1 Commits
Author SHA1 Message Date
Rustam Vishnyakov ec603b4814 File indent options provider API: a flag to skip a provider on full reformat, logging 2014-09-24 11:45:44 +04:00