summaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2025-11-19 03:38:42 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2025-11-19 03:38:42 +0100
commitb0292253ca9732b228ef505e3e719ae05c07c10c (patch)
tree4cf13eb975ef8a133ca0b28de29814c94f7daccc /.gitignore
parent399f3697b5468af6f827af4f8a856aa842d7c2b6 (diff)
feat: new distribution tool for OCL.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0d8637b..bf33267 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,8 @@
*.o
*.obj
+dist/*
+
docs/html
docs/latex