]>
| 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 |