diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-19 16:23:43 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-19 16:24:18 +0200 |
| commit | 8c91c82e3529a4a479864655a2ac76a90e7f12ad (patch) | |
| tree | 31a4954583ec82325f5a674c223bc459565f9b8b /Makefile.am | |
| parent | 39e3c899e202ae0c177e09083951f3da67805393 (diff) | |
| download | cuirass-8c91c82e3529a4a479864655a2ac76a90e7f12ad.tar cuirass-8c91c82e3529a4a479864655a2ac76a90e7f12ad.tar.gz | |
templates: Add link titles to evaluation badges.
* src/cuirass/templates.scm (evaluation-badges): Add ‘title’ attributes.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions