Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
ocarina-backends-ada_tree-generator.adb
Find file
Blame
History
Permalink
* Remove generation of old SPARK annotations
· a81aa3d1
yoogx
authored
Sep 10, 2015
a81aa3d1