Files

fixedbugs

and

Add simple READMEs.

Sep 17, 2019

568797c · Sep 17, 2019

Name		Name	Last commit message	Last commit date
parent directory ..
Makefile		Makefile	Add "native" discriminant.	Sep 10, 2019
README		README	Add simple READMEs.	Sep 17, 2019

README

This directory is specific to AdaCore developers.