2019-05-23 12:08:51 +02:00
|
|
|
/toolchain-*
|
|
|
|
|
/sdk-*
|
2019-06-21 13:58:26 +02:00
|
|
|
/.gitignore
|
2019-06-27 11:37:22 +02:00
|
|
|
result
|
|
|
|
|
##### TUP GITIGNORE #####
|
|
|
|
|
##### Lines below automatically generated by Tup.
|
|
|
|
|
##### Do not edit.
|
|
|
|
|
.tup
|
|
|
|
|
/.gitignore
|
|
|
|
|
/Makefile
|
|
|
|
|
/bin-list
|
|
|
|
|
/depot
|
|
|
|
|
/pkg.sed
|
|
|
|
|
/public
|
|
|
|
|
/raw-list
|
|
|
|
|
/versions.sed
|
