mirror of
https://github.com/AdaCore/ace.git
synced 2026-02-12 13:03:02 -08:00
6 lines
189 B
Plaintext
6 lines
189 B
Plaintext
[submodule "support/cockpit"]
|
|
path = support/cockpit
|
|
url = git://github.com/ajaxorg/cockpit.git
|
|
[submodule "support/pilot"]
|
|
path = support/pilot
|
|
url = git://github.com/ajaxorg/pilot.git |