src/Tools/8bit/fonts/install
author wenzelm
Tue, 01 Apr 1997 12:54:40 +0200
changeset 2852 ddb85eb8385f
parent 1826 2a2c0dbeb4ac
permissions -rwxr-xr-x
eliminated references to old 8bit fonts;

#!/bin/bash

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

isatool installfonts