diff options
| author | sternenseemann <git@lukasepple.de> | 2017-10-17 18:05:35 +0200 |
|---|---|---|
| committer | sternenseemann <git@lukasepple.de> | 2017-10-19 16:17:40 +0200 |
| commit | 7998dac8b47b581314cef515948959a1eeb5f8a6 (patch) | |
| tree | 6391eea3f9f2f8d33cd6d715aa7cc4eb5e8b442a /modules/user/devhell | |
| parent | c6644b37248de0d55905262d5e1c735322ad082a (diff) | |
machines/fliewatuet: more texlive packages
Diffstat (limited to 'modules/user/devhell')
0 files changed, 0 insertions, 0 deletions