https://git.martlubbers.net - des2015.git/tree

repositories / des2015.git / tree

bbc083a6ef7519fed86972d6989912a745f024cf

-rw-r--r--	1415	.gitignore	blob \| raw
-rw-r--r--	415	Makefile	blob \| raw
-rw-r--r--	27	dev.tex	blob \| raw
-rw-r--r--	107	marsrover.tex	blob \| raw
-rw-r--r--	411	preamble.tex	blob \| raw
-rw-r--r--	57	prop.tex	blob \| raw
-rw-r--r--	23	req.tex	blob \| raw

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