Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-05-21 | Remove Eclipse project files (#1928) | Andres Noetzli | |
No one of the core devs is currently using Eclipse, so the Eclipse project files are essentially useless since they are not guaranteed to be up-to-date. | |||
2012-10-05 | BoolExpr removed and replaced with Expr | Dejan Jovanović | |