diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-01-04 13:13:05 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-01-04 13:31:41 +0100 |
| commit | 14261cd6c48ba3d14de6ec425f8ac1c5ffbcfbb6 (patch) | |
| tree | 14d04af502fd2ce657be9265ad3724829460542c /dev/ci | |
| parent | ec23b8a8b2947e09e5af7317a2f5787756043a68 (diff) | |
Use a more efficient substitution composition in evar hypothesis naming.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions