]>
2024-03-08 | Raphaël Gertz | Cleanup | blob | commitdiff | raw |
2024-03-07 | Raphaël Gertz | Fix header comment | blob | commitdiff | raw | diff to current |
2021-08-23 | Raphaël Gertz | Add strict | blob | commitdiff | raw | diff to current |
2019-12-11 | Raphaël Gertz | Cleanup | blob | commitdiff | raw | diff to current |
2019-10-25 | Raphaël Gertz | Initial import | blob | commitdiff | raw | diff to current |