fb65d6ecf7
Make merge
ci/woodpecker/push/woodpecker Pipeline was successful
Details
2023-07-23 14:39:39 +02:00
Julien Palard
5df229eee6
Fix headers, and enforce them. ( #29 )
...
Reviewed-on: #29
Co-authored-by: Julien Palard <julien@palard.fr>
Co-committed-by: Julien Palard <julien@palard.fr>
2023-02-07 22:52:58 +00:00
Julien Palard
35ea246d59
Make merge ( #22 )
...
Où je répare mes bêtise du précédent merge.
cf. #21 et l'analyse de @ChristopheNan :)
Reviewed-on: #22
Co-authored-by: Julien Palard <julien@palard.fr>
Co-committed-by: Julien Palard <julien@palard.fr>
2023-01-23 21:54:21 +00:00
Julien Palard
26c991fc20
Make merge ( #21 )
...
J'ai juste exécuté `python merge.py 3.11`.
Reviewed-on: #21
Co-authored-by: Julien Palard <julien@palard.fr>
Co-committed-by: Julien Palard <julien@palard.fr>
2023-01-15 21:42:07 +00:00
Mathieu Dupuy
Julien Palard