Valentin Brandl cc785e8c61 Update post-receive hook to use make for ahead of time compression		2018-07-16 12:23:00 +02:00
..
post-receive	Update post-receive hook to use make for ahead of time compression	2018-07-16 12:23:00 +02:00