Commit Graph

2 Commits

Author SHA1 Message Date
Julien Cretin
d7b24424e5 Disable patches check on github 2022-06-21 19:58:43 +02:00
Julien Cretin
d25f65c565 Add tool for applying/saving Tock patches 2021-08-09 13:55:55 +02:00