Skip to content
Snippets Groups Projects
Select Git revision
  • dev-php7.1
  • dev
  • master default protected
  • test
  • similarity-refactor
  • calendar-events
  • remove-vpl-href
  • spreadsheet-editor
8 results
Compare
Astor Bizard's avatar
Merge branch 'test' into 'master'
Astor Bizard authored 
Execution server choice now prioritizes local servers.

See merge request !17
717bf8a0
History
Astor Bizard's avatar 717bf8a0
History
Name Last commit Last update