summaryrefslogtreecommitdiff
path: root/lib/Wayland/.gitignore
diff options
context:
space:
mode:
authorHannes Schulze <haschu0103@outlook.de>2026-04-03 21:40:46 +0200
committerHannes Schulze <haschu0103@outlook.de>2026-04-03 21:40:46 +0200
commit09be9fb2701f0560aeb714f89fe0d1e750915ae0 (patch)
tree3d05703751e8cd4308cd1a02876ee4baf1cb61f9 /lib/Wayland/.gitignore
parent54d62ad2f3eb72d57683780b55dad2a97b1e2dcb (diff)
parse wayland protocols
Diffstat (limited to 'lib/Wayland/.gitignore')
-rw-r--r--lib/Wayland/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Wayland/.gitignore b/lib/Wayland/.gitignore
new file mode 100644
index 0000000..b39d86d
--- /dev/null
+++ b/lib/Wayland/.gitignore
@@ -0,0 +1,2 @@
+Protocols.lean
+Protocols/**/*.lean \ No newline at end of file