summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-19 17:21:05 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-19 17:21:05 +0100
commit7171020c9fafd0631a370bf70d927843bd893c02 (patch)
treed39c2307e09b0f797d7a94db6d88088b58eb20a3 /.gitignore
parentRework the Makefiles for a cleaner handling of generated scripts (diff)
Use the correct font for interfaces in the titles
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions