mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-25 15:31:05 +00:00
4 lines
59 B
Plaintext
4 lines
59 B
Plaintext
|
menu "Tools facilities"
|
||
|
source config.gen/tools.in
|
||
|
endmenu
|