diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-16 22:36:37 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-16 22:36:37 +0100 |
| commit | 2be8db31dc0406e149a89c62bd628cfa6756ab30 (patch) | |
| tree | 1084cde2f2a7af51f0e045c89912ed28a42897c6 /src/fontloader/luaotfload-fonts-ext.lua | |
| parent | 4e3c25d0fa4ad115416c5004e0e544b2faf99788 (diff) | |
| download | luaotfload-2be8db31dc0406e149a89c62bd628cfa6756ab30.tar.gz | |
[db] use tput to determine the terminal size if appropriate
Diffstat (limited to 'src/fontloader/luaotfload-fonts-ext.lua')
0 files changed, 0 insertions, 0 deletions