Add files via upload

fastrgv · Jan 1, 2019 · 635760d · 635760d
1 parent 9396bce
commit 635760d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/header.ada b/header.ada
@@ -0,0 +1,7 @@
+procedure header is
+  --dummy to inform GitHub that Ada is
+  --the language used here.
+begin
+	null;
+end;
+