From b139c8ff5cd3d784d3b462012a1911f00b6c4542 Mon Sep 17 00:00:00 2001 From: bard Date: Tue, 16 Apr 2024 06:15:23 -0400 Subject: old ada mode --- old_ada/doc/clean.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 old_ada/doc/clean.sh (limited to 'old_ada/doc/clean.sh') diff --git a/old_ada/doc/clean.sh b/old_ada/doc/clean.sh new file mode 100755 index 0000000..f7e90b1 --- /dev/null +++ b/old_ada/doc/clean.sh @@ -0,0 +1,2 @@ +#! /bin/sh +rm ada-mode.aux ada-mode.fn ada-mode.log ada-mode.toc -- cgit v1.2.3