Salome HOME
use a repo_dev property to trigger the use of the dev repo, in addition to dev mode
authorcrouzet <nicolas.crouzet@cea.fr>
Wed, 10 Apr 2019 13:01:35 +0000 (15:01 +0200)
committercrouzet <nicolas.crouzet@cea.fr>
Wed, 10 Apr 2019 13:01:35 +0000 (15:01 +0200)
commit69d6a69f43f200590c610e2e0bca02983e154bf3
treef025d4cb4fa19dc64c95dfb43e7c5b39a2ec8470
parent47612e6f955aac887488b6d1f77fe3e5c85bb1b6
use a repo_dev property to trigger the use of the dev repo, in addition to dev mode
commands/source.py