diff options
Diffstat (limited to 'src/pmlogconf/platform/localdefs')
-rw-r--r-- | src/pmlogconf/platform/localdefs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pmlogconf/platform/localdefs b/src/pmlogconf/platform/localdefs new file mode 100644 index 0000000..87e49c1 --- /dev/null +++ b/src/pmlogconf/platform/localdefs @@ -0,0 +1 @@ +FILES = hinv linux |