Add Ada config

2021-01-01 00:00:37 +00:00
parent 5364471165
commit 21754206dd
13 changed files with 15404 additions and 0 deletions
--- a/ada-mode/doc/clean.sh
+++ b/ada-mode/doc/clean.sh
@@ -0,0 +1,2 @@
+#! /bin/sh
+rm ada-mode.aux ada-mode.fn ada-mode.log ada-mode.toc