]>
| 2022-10-10 | Michael Wagner | Merge branch 'master' of http://wagnertech.de/git/projects | blob | commitdiff | raw |
| 2022-06-17 | Michael Wagner | phpide-d10 | blob | commitdiff | raw |
| 2020-11-26 | Michael Wagner | Merge branch 'master' of http://wagnertech.de/git/xhome | blob | commitdiff | raw | diff to current |
| 2020-06-03 | Michael Wagner | phpide-d10 | blob | commitdiff | raw | diff to current |