zrepl/.gitmodules

mirror of https://github.com/zrepl/zrepl.git synced 2024-11-22 08:23:50 +01:00
[submodule "docs/themes/docdock"]
	path = docs/themes/docdock
	url = git@github.com:zrepl/hugo-theme-docdock.git
docs: initial commit 2017-08-09 16:13:12 +02:00			`[submodule "docs/themes/docdock"]`
			`path = docs/themes/docdock`
			`url = git@github.com:zrepl/hugo-theme-docdock.git`
docs: remove GH pages repo as submodule, adjust publish.sh Would need to bump zrepl main repo for every publish otherwise... 2017-08-09 21:40:16 +02:00