Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
OSS Lugaru
lugaru
Repository
lugaru
CMakeLists.txt
Find file
Blame
History
Permalink
Rename debug mode to dev tools
· 2b4a9af9
Rémi Verschelde
authored
Dec 10, 2016
The new config is then "Devtools" and the command line option is --devtools, -d.
2b4a9af9