ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
fsf
spark2014/.gitmodules
Marc Poulhiès bdb50e8118 Merge commit 'c64a2bf93962a431b5b367f795cf2694a537f24c' into fsf 
TN: R704-011
2023-05-23 11:08:09 +02:00

5 lines
67 B
Plaintext
Raw Permalink Blame History

[submodule "why3"]
path = why3
url = ../why3.git
ignore = dirty
Reference in New Issue View Git Blame Copy Permalink