projects / projects.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63c591c) | patch
gnublin
authorgnublin <michael@wagnertech.de>
Wed, 16 Nov 2016 18:24:52 +0000 (19:24 +0100)
committergnublin <michael@wagnertech.de>
Wed, 16 Nov 2016 18:24:52 +0000 (19:24 +0100)
commit72a2f1f30abca04d3b65c150668118296f88fc11
tree16c7a1a0ff1f847dda181dd84b26863e32fbc871tree | snapshot
parent63c591ceca5b2c3a48887ecf45c4c8c0704954b7commit | diff
gnublin
tools/make/c_configure.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.