orchestrator/taste-orchestrator.py · c7305e65a0a2c6a66c16c863c2eea94c3464cbb3 · TASTE / orchestrator · GitLab

Find file Blame History Permalink

Remove the short-double trick · c7305e65
Maxime Perrotin authored Oct 10, 2017
```
Which does not work with gnat2017
```
c7305e65