pigmej/webserver — comment on commit d6d790122bc968915879f3aacb246e4a919a9185
File: doc/basics_installation_git.txt line 21
By skarcha:

Do you think that should be cloned the "dev" branch only or full repository?