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/fontloader-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/fontloader-fonts-ext.lua')
0 files changed, 0 insertions, 0 deletions