regnat 5f66edf245 Make make install less noisy ... Remove the printing and useless output of a couple of commands when running `make install`		2020-12-04 14:50:47 +01:00
..
manual	Make make install less noisy	2020-12-04 14:50:47 +01:00