Le 16/05/2018 à 14:30, Andreas Tille a écrit : > but my naive attempt to fire up mh_make and expect that it results > in something that builds was again to naive to work. What error did you get?
Emmanuel Bourg
Le 16/05/2018 à 14:30, Andreas Tille a écrit : > but my naive attempt to fire up mh_make and expect that it results > in something that builds was again to naive to work. What error did you get?
Emmanuel Bourg