-
Georges Racinet authored
This will be useful for testing on remote servers, since we can't know it in advance. We could probably request the API for that but we aren't at this point (and it would slow the tests down a bit). The default value is 'git', though.
155961c2b15c