Updated README. - Githubissues

AdaCore / Certyflie

GNU General Public License v3.0

33 stars 17 forks source link

Closed simonjwright closed 7 years ago

simonjwright commented 7 years ago

README.md: Project structure is much simpler! Can't use 2016 (Create_Missing_Dirs) or SPARK 2017 (crashes).

Will completely understand if you want to make your own changes :-)

AnthonyLeonardoGracio commented 7 years ago

Thanks for updating this! I forgot to do it indeed.