.gitmodules

[submodule "ext/cci"]
	path = ext/cci
	url = https://github.com/allisterb/cci.git
[submodule "ext/specsharp"]
	path = ext/specsharp
	url = https://github.com/allisterb/specsharp-ms.git
[submodule "ext/analysis-net"]
	path = ext/analysis-net
	url = https://github.com/allisterb/analysis-net.git
[submodule "ext/TinyBCT"]
	path = ext/TinyBCT
	url = https://github.com/allisterb/TinyBCT.git
[submodule "ext/AGL"]
	path = ext/AGL
	url = https://github.com/allisterb/AGL.git
[submodule "ext/StratisSmartContractsSamples"]
	path = ext/StratisSmartContractsSamples
	url = https://github.com/stratisproject/StratisSmartContractsSamples.git
[submodule "ext/SharpSyntaxRewriter"]
	path = ext/SharpSyntaxRewriter
	url = https://github.com/allisterb/SharpSyntaxRewriter.git
[submodule "ext/Stratis.SmartContracts.Tools.Sct"]
	path = ext/Stratis.SmartContracts.Tools.Sct
	url = https://github.com/stratisproject/Stratis.SmartContracts.Tools.Sct.git
[submodule "ext/dotnet-interactive-extension-lab"]
	path = ext/dotnet-interactive-extension-lab
	url = https://github.com/allisterb/dotnet-interactive-extension-lab.git
[submodule "ext/satsumagraph"]
	path = ext/satsumagraph
	url = https://github.com/allisterb/satsumagraph.git