mirror of
https://github.com/AdaCore/ace.git
synced 2026-02-12 13:03:02 -08:00
7 lines
170 B
Plaintext
7 lines
170 B
Plaintext
[submodule "doc/wiki"]
|
|
path = doc/wiki
|
|
url = https://github.com/ajaxorg/ace.wiki.git
|
|
[submodule "build"]
|
|
path = build
|
|
url = https://github.com/ajaxorg/ace-builds.git
|