aboutsummaryrefslogtreecommitdiff
path: root/src/mint/test_mint_nyadirahim/config/mint-common.conf
AgeCommit message (Expand)Author
2015-09-21remove strange historic test directoriesChristian Grothoff
2015-06-11fix #3835Christian Grothoff
2015-03-27major rename-fest for more constent symbol namesChristian Grothoff
2015-01-08-initial import for mintChristian Grothoff