diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-10-24 15:03:23 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-10-24 18:31:51 +0200 |
commit | 4968f4d4282698a1d894dff232b864d7b8dda1b3 (patch) | |
tree | 6e83d1ce981a4035016b80a5e6ebc27de7d2a442 /test-suite/Makefile | |
parent | 166634c57bbad2e727364a97bf30bc3d67d2f2a8 (diff) | |
parent | 81bdc22146d51f0131bffc12d4668f3902982f33 (diff) |
Merge commit '81bdc22' into v8.6
Was PR#301: Update .gitignore with new names for psatz caches.
Diffstat (limited to 'test-suite/Makefile')
0 files changed, 0 insertions, 0 deletions