From 0172b10b8b0f352fdc45757abfe7fdf2a4d03960 Mon Sep 17 00:00:00 2001 From: Daniel <89086143+BardofSprites@users.noreply.github.com> Date: Sat, 20 Apr 2024 11:19:15 -0400 Subject: rename old-ada dir --- old_ada/doc/clean.sh | 2 -- 1 file changed, 2 deletions(-) delete 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 deleted file mode 100755 index f7e90b1..0000000 --- a/old_ada/doc/clean.sh +++ /dev/null @@ -1,2 +0,0 @@ -#! /bin/sh -rm ada-mode.aux ada-mode.fn ada-mode.log ada-mode.toc -- cgit v1.2.3