diff options
author | Eric Roberts <eric@cryode.com> | 2013-07-12 04:20:18 +0200 |
---|---|---|
committer | Eric Roberts <eric@cryode.com> | 2013-07-12 04:20:18 +0200 |
commit | 70a9a28321c5226d597bb87319524747e714b133 (patch) | |
tree | 46b05b8fe534654bdcd3877d53492aef14e86518 /user_guide_src/Makefile | |
parent | 064cab5b27bc6547be9cdef16451c5c3df747f41 (diff) |
Update GitHub "tags" link to new Releases feature.
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions