git.rustad.me Git - master/commit

]> git.rustad.me Git - master/commit

projects / master / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: ba27734) | patch

author	Bjørn Rustad <bjorn@rustad.me>
	Mon, 8 Dec 2014 17:24:15 +0000 (18:24 +0100)
committer	Bjørn Rustad <bjorn@rustad.me>
	Mon, 8 Dec 2014 17:24:15 +0000 (18:24 +0100)
commit	01874e36d37b0f9c00b1f95641dfd32705b08178
tree	c15eb8023ef907a66be8065e04f93dd06e7f8c24	tree \| snapshot
parent	ba277342e95bc17db266d2d543b42bc9fafe5ca3	commit \| diff

Index and lists

main.tex		diff \| blob \| history
theory.tex		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.