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/rmtop/rmtop | Bin 45408 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100755 tools/rmtop/rmtop (limited to 'tools/rmtop') diff --git a/tools/rmtop/rmtop b/tools/rmtop/rmtop deleted file mode 100755 index 08b0664..0000000 Binary files a/tools/rmtop/rmtop and /dev/null differ -- cgit v1.2.3