diff options
author | Jakob Unterwurzacher | 2015-11-27 22:18:36 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2015-11-27 22:18:36 +0100 |
commit | 6acd772cf908908e3b0d817a78e64f98faaa8b7b (patch) | |
tree | d4ac426a5cf60a89b1b760bf392b3ba481c0d07c /pathfs_frontend | |
parent | 798e5eb5e7c96384f40567bf7426621ca8373e15 (diff) |
diriv: Define "DirIV" feature flag
(unused so far)
Diffstat (limited to 'pathfs_frontend')
0 files changed, 0 insertions, 0 deletions