Link tools directory to build directory for easier access
commit2db5c834dd1e256d0e1677a8ff444d697a28a6d2
authorJiří Zárevúcky <zarevucky.jiri@gmail.com>
Sat, 17 Aug 2019 10:05:50 +0000 (17 12:05 +0200)
committerJiří Zárevúcky <zarevucky.jiri@gmail.com>
Sat, 17 Aug 2019 12:49:44 +0000 (17 14:49 +0200)
tree635142a0709301d6f4d1d1a0c1ef2fd2c194ac6e
parenta8c063d321db6910aa8427eb9fafb2e63e225641
Link tools directory to build directory for easier access
configure.sh