diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-10-23 17:38:46 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-10-23 17:38:46 +0200 |
commit | a25c77be0caa7e3d0beaaa6c3791c9a4229292fc (patch) | |
tree | 9a5f0b1b5a775798d9ef87aa546cbed614e0d719 /debian/rules | |
parent | c23acb4553d8a5fee8daea10e31bff83730ee69f (diff) |
Don't recommend preview-latex-style.
Diffstat (limited to 'debian/rules')
0 files changed, 0 insertions, 0 deletions