Open main menu

DAVE Developer's Wiki β

Changes

no edit summary
Once the git account has been enabled, the developer can:
*clone the repository with the <code>git clone <git_remote_repository>-b desk-xz7-l-1.0.1</code> command
*synchronize a source tree entering the repository directory and launching the <code>git fetch origin</code> command.
dave_user
417
edits