projects / projects.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b5a94e) | patch
add_library added
authorgnublin <michael@wagnertech.de>
Mon, 15 Oct 2018 17:43:31 +0000 (19:43 +0200)
committergnublin <michael@wagnertech.de>
Mon, 15 Oct 2018 17:43:31 +0000 (19:43 +0200)
commitc1ce8dfbcdc21aa3a4577d54918b7698b2da25d2
treef568dcd19a3850b7da94d1a8dc1abf1c79d9a0a2tree | snapshot
parent9b5a94ef108feb2c9e0ed7492c4fc40813350cbccommit | diff
add_library added
tools/make/c_configure.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.