summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ruby/dep_selector: limit gecode dependency to working versions, fixing bu...Hans de Graaff2016-08-021-0/+36