ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity
187 Commits 11 Branches 0 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Nicolas Setton
5981b64dc5 Add support for preventing calls to 'system' in C 2019-02-06 14:35:45 -05:00
Nicolas Setton
b9dd32f5f3 Rework the way the safecontainer is created 
Use two makefiles for this.
 2019-01-11 11:32:30 -05:00