Sat, 28 Sep 2019 18:44:48 +0200
Editor: added configuration option to set the tab and indentation width for each languages separately (as an override to the global ones).
7278
1820a0344b62
Editor: added configuration option to set the tab and indentation width for each languages separately (as an override to the global ones).
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
7273
diff
changeset
|
1 | (binary:application/octet-stream) |