diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-13 12:59:43 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-13 12:59:43 +0100 |
commit | 19901f81992e2867b8fe2893f498b0d5f7b9770c (patch) | |
tree | a26b3687c407a3b8f9ab68e50fb9feafea7dda2c /reproduce/config | |
parent | e2ae00a154b580b0f3d3206ca656268775ab76be (diff) |
Updated link to slides
The link to the slides describing the context was the old address (which
still works, but is just a symbolic link to the new address). It was thus
corrected to point to the proper filename.
Diffstat (limited to 'reproduce/config')
0 files changed, 0 insertions, 0 deletions