Build system: delete unused distrib/Makefile
authorThomas Miedema <thomasmiedema@gmail.com>
Sat, 15 Aug 2015 17:07:52 +0000 (19:07 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Fri, 21 Aug 2015 17:20:51 +0000 (19:20 +0200)
commita1c008b30fc60a327afe098cf16bd14ca1e5e381
tree24a553f0da14e2d23dccf1705564f3db6c34c192
parent47493e60fa2f8f520297969472dde01931530707
Build system: delete unused distrib/Makefile
distrib/Makefile [deleted file]