diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 13:52:15 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 13:52:15 +0100 |
commit | b746c25a6800aabc468eee653d8bca8e7810f633 (patch) | |
tree | ae87806ec6d6b65e9d3ae1729ccf253e12324e96 /sample/.gitignore | |
parent | eb5b295d37e9150e169cc95cbbc39f6ab7b88b2f (diff) | |
parent | 8d7d4edacab0298f96a3826819c01b4e8f6cbcfb (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'sample/.gitignore')
-rw-r--r-- | sample/.gitignore | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/sample/.gitignore b/sample/.gitignore deleted file mode 100644 index b6b591b..0000000 --- a/sample/.gitignore +++ /dev/null @@ -1,14 +0,0 @@ -/crnl -/encode -/listcap -/names -/posix -/simple -/sql -/syntax -/user_property -/callout -/echo -/count -/bug_fix -/log* |