-
Sylvain Dailler authored
ide colors: Change names and usage of colors variable in gconfig Closes #392 See merge request !269
7d511c3c
To find the state of this project's repository at the time of any of these versions, check out the tags.
ide colors: Change names and usage of colors variable in gconfig Closes #392 See merge request !269