summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorMagnus Ahltorp <map@kth.se>2017-06-30 11:01:52 +0200
committerLinus Nordberg <linus@nordu.net>2017-07-06 17:48:30 +0200
commitb09e878a21c09d8344ec8b2a896d7d1a8162387e (patch)
treebea544071d048abb9e4abc58e698940f3ef7eafa /doc/Makefile
parent4e44c1e8a4ea6ec4c5eeb2a1a05d93e076c7fd50 (diff)
Verify config files against schema
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions