GNU source-highlight - Bugs: bug #44826, User settings file is not used
bug #44826: User settings file is not used
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2019-10-12 | tromey | Open/Closed | Open | ![]() |
Closed |
Powered by Savane 3.15-e6e5.
Corresponding source code