Files
git/Makefile
Johannes Schindelin 6c1fc6a76b Merge branch 'dj/runtime-prefix'
Two more commits made it into the dj/runtime-prefix branch before being
merged into core Git's `master`. Let's take those two, too.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2018-05-17 23:04:49 +02:00

86 KiB