diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2017-12-29 20:16:41 +0100 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2017-12-29 20:16:41 +0100 |
| commit | 08d84088dd2e9dcdf3fdfc1703d64c3ac3259b7b (patch) | |
| tree | 5a0b3ceec14676f91ee1661b562f71ea501e47d4 /core/linux | |
| parent | 9ac64237f1455fbcec5a358d6e637969f1c10562 (diff) | |
| download | packages-08d84088dd2e9dcdf3fdfc1703d64c3ac3259b7b.tar.xz | |
extra/texmacs: more sed-fu to fix compilation
Diffstat (limited to 'core/linux')
0 files changed, 0 insertions, 0 deletions