Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-01-09 | Ensure that renaming on page merge actually creates unique names. Bump | joerg | 1 | -1/+17 |
2014-01-23 | Convert to python-3.x and distutils.mk. | wiz | 3 | -0/+153 |
2011-04-15 | Changes 1.13: | adam | 1 | -23/+0 |
2010-02-10 | Use builtin set type. Bump revision. | joerg | 1 | -0/+23 |