]>
2024-03-07 | Raphaël Gertz | Fix header comment | blob | commitdiff | raw |
2021-08-28 | Raphaël Gertz | Remove short title | blob | commitdiff | raw | diff to current |
2021-08-23 | Raphaël Gertz | Add strict | blob | commitdiff | raw | diff to current |
2021-02-23 | Raphaël Gertz | Rename title in civility | blob | commitdiff | raw | diff to current |