diff options
| author | markd <markd@pkgsrc.org> | 2017-03-26 20:10:11 +0000 |
|---|---|---|
| committer | markd <markd@pkgsrc.org> | 2017-03-26 20:10:11 +0000 |
| commit | 5351a20632abb1bc1f4b372dc5d02571bb6d5092 (patch) | |
| tree | c8000065cd71c787dfaf8221c7ea2e888cc65af8 /editors/ce | |
| parent | a0fc0aa48aaf918edfe42b029432e39ab159aeab (diff) | |
| download | pkgsrc-5351a20632abb1bc1f4b372dc5d02571bb6d5092.tar.gz | |
platex format is now done in tex-platex, and tidy up the Makefile.
Diffstat (limited to 'editors/ce')
0 files changed, 0 insertions, 0 deletions