summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2015-11-27 22:18:36 +0100
committerJakob Unterwurzacher2015-11-27 22:18:36 +0100
commit6acd772cf908908e3b0d817a78e64f98faaa8b7b (patch)
treed4ac426a5cf60a89b1b760bf392b3ba481c0d07c /.gitignore
parent798e5eb5e7c96384f40567bf7426621ca8373e15 (diff)
diriv: Define "DirIV" feature flag
(unused so far)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions