src/Tools/8bit/fonts/install
author wenzelm
Fri, 16 Jul 1999 22:25:07 +0200
changeset 7025 afbd8241797b
parent 2852 ddb85eb8385f
permissions -rwxr-xr-x
tuned dest_lexicon;

#!/bin/bash

#NOTE: just a quick and dirty hack -- assumes correct isatool in PATH

isatool installfonts