diff options
Diffstat (limited to '')
| -rw-r--r-- | src/output/plugins/PipeOutputPlugin.hxx (renamed from src/output/PipeOutputPlugin.hxx) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/output/PipeOutputPlugin.hxx b/src/output/plugins/PipeOutputPlugin.hxx index 42b01b9f7..42b01b9f7 100644 --- a/src/output/PipeOutputPlugin.hxx +++ b/src/output/plugins/PipeOutputPlugin.hxx |