From 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Thu, 9 Apr 2026 23:07:23 +0200 Subject: fix build on linux --- lib/Wayland/.gitignore | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 lib/Wayland/.gitignore (limited to 'lib/Wayland/.gitignore') diff --git a/lib/Wayland/.gitignore b/lib/Wayland/.gitignore deleted file mode 100644 index b39d86d..0000000 --- a/lib/Wayland/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -Protocols.lean -Protocols/**/*.lean \ No newline at end of file -- cgit v1.3.1