deleted unneeded files

This commit is contained in:
2021-08-21 14:51:38 +00:00
parent f875ede81c
commit 727f2b7b36
25 changed files with 341 additions and 11690 deletions

View File

@ -1,7 +1,5 @@
AUTOMAKE_OPTIONS = nostdinc subdir-objects
SUBDIRS = cmn
EXTRA_DIST = \
h2.ads \
h2-pool.ads \