diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-03-04 21:14:01 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-04 21:14:01 +0100 |
| commit | e7c6bfe208df739c58a3080d31380381b58b7626 (patch) | |
| tree | ea9d5877690447276ba2fc68906501f0aacd1fc2 /rtic-sync/src | |
| parent | 771639c3f6c1faffa673db29c4d10884d3eba5a8 (diff) | |
ci: mdbookold needs mergetostablebranch
Diffstat (limited to 'rtic-sync/src')
0 files changed, 0 insertions, 0 deletions