diff options
| author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2017-04-04 21:13:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-04 21:13:39 +0200 |
| commit | 663f53290f82a744ee548fd9b8e097ad20712ba1 (patch) | |
| tree | 6db55413822b8aedad70bf7f849b241a278b3afd /source/theme.c | |
| parent | c6c0d190ab0ced0ad724f34379d027eaec9c019b (diff) | |
Travis (#583)
* Add trusty backports for flex.
* Explicitly indicate to take backport package
* Fix reference file update.
Diffstat (limited to 'source/theme.c')
0 files changed, 0 insertions, 0 deletions