{"push_id":704666482,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"102801d8d5c80033e7166df6904b0feb8e38eab8","before":"403392e4b80fcb4960b078adca4e0571ff78fc8b","commits":[{"sha":"102801d8d5c80033e7166df6904b0feb8e38eab8","author":{"email":"1161135013ca74a478f4fc4de471a6f1af88f2b4@ustc.edu.cn","name":"thomasWeise"},"message":"BugFix for Template Example\n\nThe template example contained the now-removed element \"nprop\" for \"not\nproportional to\". Although the Unicode standard has a character for\n\"proportional to\", it does not have one for the opposite. Dealing with\nthis (probably never used) sitation required ugly hacks, so I removed\nit.\n\nThe Maven POM has been updated to the target version 0.8.1.","distinct":true,"url":"https://api.github.com/repos/optimizationBenchmarking/optimizationBenchmarking/commits/102801d8d5c80033e7166df6904b0feb8e38eab8"}]}