File: .gitmodules

package info (click to toggle)
coq-hott 9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,440 kB
  • sloc: sh: 452; python: 414; haskell: 125; makefile: 21
file content (6 lines) | stat: -rw-r--r-- 208 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
 
[submodule "etc/coq-scripts"]
	path = etc/coq-scripts
	url = https://github.com/JasonGross/coq-scripts.git
[submodule "etc/alectryon"]
	path = etc/alectryon
	url = https://github.com/JasonGross/alectryon.git