From faabc48f6d9b2d531b5b7a7e1320ccd1e030e85c Mon Sep 17 00:00:00 2001 From: Arthur Hanson Rasmusson Date: Fri, 2 Oct 2026 11:30:46 -0400 Subject: gitignore: keep the local evidence workspace and generated demo artifacts untracked; drop built RM tool binaries (source and Makefiles stay) --- tools/rmtool/rmtool | Bin 57040 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100755 tools/rmtool/rmtool (limited to 'tools/rmtool') diff --git a/tools/rmtool/rmtool b/tools/rmtool/rmtool deleted file mode 100755 index a0c6bea..0000000 Binary files a/tools/rmtool/rmtool and /dev/null differ -- cgit v1.2.3