diff options
| author | Théo Zimmermann | 2017-03-08 09:56:01 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-03-10 23:18:33 +0100 |
| commit | fd5c5da475baea11d7ee2e1c2e965d7faeed3f33 (patch) | |
| tree | 40c73cbaa4fb750a9b2490037df1e369c0853925 /lib | |
| parent | 710c1e1f49ce834acb9488704bcbbf13c4ebaf91 (diff) | |
[travis] Make the git_checkout function more reliable.
This commit also documents the behavior of said function;
and fix the location of the ssreflect clone to an absolute
path (this is now necessary).
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions