Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
halo
development
55462d1b145ca658a42c51f4922a697ac8d09dd2
55462d1b145ca658a42c51f4922a697ac8d09dd2
Switch branch/tag
development
sdk
plat_tools_source.properties
Find file
Normal view
History
Permalink
plat_tools_source.properties
39 Bytes
Edit
Web IDE
Newer
Older
Re-organize the SDK, moving the build tools out of the platforms.
Xavier Ducrohet
committed
14 years ago
1
Pkg.UserSrc
=
false
Fix build-tools version. do not merge.
Xavier Ducrohet
committed
11 years ago
2
Pkg.Revision
=
18.0.1
SDK: Generate build-tools package.
Raphael Moll
committed
12 years ago
3
