repositories / des2015.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a77c0f5) | patch
makefile change'
authorMart Lubbers <mart@martlubbers.net>
Wed, 16 Dec 2015 11:05:47 +0000 (12:05 +0100)
committerMart Lubbers <mart@martlubbers.net>
Wed, 16 Dec 2015 11:05:47 +0000 (12:05 +0100)
commitf326a023c19f1bbeb0755a658a1c9f80ad6701d6
tree4dc25015e76c4b1be91a621c90544258f39fe658tree | snapshot
parenta77c0f57e7044887dd5bab41311e79a0739cb85acommit | diff
makefile change'
marsrover/document/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.