chiark / gitweb /
doxygen: remove obsolete config file entries
[disorder] / templates / options
1 # default label values
2 include options.labels
3
4 # user overrides - you supply this
5 include options.user