Commit graph

2 commits

Author SHA1 Message Date
6896b447c5 eliminata la gestione del PID non piu' necessaria con Docker 2017-04-07 10:04:26 +02:00
8e384215b7 compila staticamente 2016-07-11 09:55:43 +02:00