diff options
author | 2015-07-23 22:59:04 +0200 | |
---|---|---|
committer | 2015-07-23 22:59:04 +0200 | |
commit | 3cbf68b47079df130d2a767da7f6af352202112c (patch) | |
tree | 588c6ca85a5d20a0768fc73ccedf9e4918f4afb1 /osdep | |
parent | 86a60a4dd22a717a069346acf4a6171837fb01b3 (diff) |
command: add property indicating per-file options
Fixes #2165, more or less.
Diffstat (limited to 'osdep')
0 files changed, 0 insertions, 0 deletions