search

ohenley / awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal
641 stars 71 forks source link

Rename ada-interface to Gneiss #30

Closed jklmnn closed 5 years ago

jklmnn commented 5 years ago

ada-interface has been renamed to Gneiss with the latest release.