]>
2022-10-03 | Raphaël Gertz | Cleanup | blob | commitdiff | raw |
2021-08-28 | Raphaël Gertz | Cleanup | blob | commitdiff | raw | diff to current |
2021-08-12 | Raphaël Gertz | Add strict type | blob | commitdiff | raw | diff to current |
2019-10-25 | Raphaël Gertz | Initial import | blob | commitdiff | raw | diff to current |