tree 2bd778c765532b3311be256fe2926b56107f2406
parent 2e81732b29abdac3dad404fbeeb548ce0dff7eff
author Dennis Huebner <dennis.huebner@itemis.de> 1335949888 +0200
committer Dennis Huebner <dennis.huebner@itemis.de> 1335949888 +0200

[p2-greedy] Set to old < 3.8 default greedy=true