summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-02 11:30:46 -0400
committerArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-02 11:30:46 -0400
commitfaabc48f6d9b2d531b5b7a7e1320ccd1e030e85c (patch)
tree6b2e46b3e81897c95d343e294912077a56fb8427 /tools
parent260c73e72674d55bf8f082c0e1011075a0365a78 (diff)
downloadopen-iov-faabc48f6d9b2d531b5b7a7e1320ccd1e030e85c.tar.gz
open-iov-faabc48f6d9b2d531b5b7a7e1320ccd1e030e85c.zip
gitignore: keep the local evidence workspace and generated demo artifacts untracked; drop built RM tool binaries (source and Makefiles stay)
Diffstat (limited to 'tools')
-rwxr-xr-xtools/rmtool/rmtoolbin57040 -> 0 bytes
-rwxr-xr-xtools/rmtop/rmtopbin45408 -> 0 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/tools/rmtool/rmtool b/tools/rmtool/rmtool
deleted file mode 100755
index a0c6bea..0000000
--- a/tools/rmtool/rmtool
+++ /dev/null
Binary files differ
diff --git a/tools/rmtop/rmtop b/tools/rmtop/rmtop
deleted file mode 100755
index 08b0664..0000000
--- a/tools/rmtop/rmtop
+++ /dev/null
Binary files differ