mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
6 lines
91 B
Plaintext
6 lines
91 B
Plaintext
[submodule "why3"]
|
|
path = why3
|
|
url = ../why3.git
|
|
ignore = dirty
|
|
branch = master
|