3 Commits

Author	SHA1	Message	Date
Julien Cretin	0f70a211ea	Use bash, no rsync, add doc	2021-08-09 13:55:55 +02:00
Julien Cretin	7a812a657b	fix reproduce scripts	2021-08-09 13:55:55 +02:00
Julien Cretin	d25f65c565	Add tool for applying/saving Tock patches	2021-08-09 13:55:55 +02:00