]>
2018-08-10 | mzn | Issue #2559, 2560: update icons. |
commit | commitdiff | tree |
2018-07-24 | mzn | Issue #2559: remove duplicated line, fix indentation. |
commit | commitdiff | tree |
2018-07-24 | mzn | Tests adjustment. |
commit | commitdiff | tree |
2018-07-24 | mzn | Issue #2560: Fix Python dump, fix indentation. |
commit | commitdiff | tree |
2018-07-24 | mzn | Rename checkBooleansResult to checkResult. |
commit | commitdiff | tree |
2018-07-24 | mzn | Issue #2559, 2560: use different shapes validator for... |
commit | commitdiff | tree |
2018-07-24 | mzn | Issue #2560: Add Interpolation feature to Build plugin... |
commit | commitdiff | tree |
2018-07-13 | mzn | Issue #2559: Fix too long line. |
commit | commitdiff | tree |
2018-07-12 | mzn | Issue #2559: Add Polyline feature to Build plugin for... |
commit | commitdiff | tree |