Commit Graph

53 Commits

Author SHA1 Message Date
Christian Grothoff
0fef44159a improve error message to diagnose #4559 2016-06-05 22:03:09 +02:00
Christian Grothoff
458992dc6f fixes for disting 2016-05-04 10:21:35 +02:00
Christian Grothoff
57d1f08dbc -initial import for mint 2015-01-08 18:37:20 +01:00