projects / projects.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c5b9496 58313e9)
Merge ../projects
authorMichael Wagner <michael@wagnertech.de>
Tue, 6 Mar 2018 21:01:36 +0000 (22:01 +0100)
committerMichael Wagner <michael@wagnertech.de>
Tue, 6 Mar 2018 21:01:36 +0000 (22:01 +0100)
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.