wash
|
79c30e5393
|
tools: sync: create .config directory if it doesn't exist
|
2023-05-06 19:45:09 +01:00 |
|
wash
|
84e5b848c7
|
tools: sync: update script filename in in_source_tree()
|
2023-04-05 18:55:24 +01:00 |
|
wash
|
06ba21bd9d
|
build: standardise script filenames
|
2023-04-04 09:59:25 +01:00 |
|