git://git.onelab.eu / plcapi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b08a42e)
less clutter in binary dist
authorgggeek <giunta.gaetano@gmail.com>
Mon, 28 Dec 2020 11:43:18 +0000 (11:43 +0000)
committergggeek <giunta.gaetano@gmail.com>
Mon, 28 Dec 2020 11:43:18 +0000 (11:43 +0000)
.gitattributes patch | blob | history

diff --git a/.gitattributes b/.gitattributes
index 99e9fe5..ac6919c 100644 (file)
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,5 +1,6 @@
 demo/ export-ignore
 doc/ export-ignore
+extras/ export-ignore
 tests/ export-ignore
 .editorconfig export-ignore
 .gitattributes export-ignore
plcapi