projects / projects.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 91e0fcc 196cba8)
gnublin
authorgnublin <michael@wagnertech.de>
Wed, 21 Jun 2017 12:30:26 +0000 (14:30 +0200)
committergnublin <michael@wagnertech.de>
Wed, 21 Jun 2017 12:30:26 +0000 (14:30 +0200)
1  2 
tools/make/configure patch | diff1 | diff2 | blob | history

diff --cc tools/make/configure
Simple merge
Unnamed repository; edit this file 'description' to name the repository.