view .gitignore @ 4665:6592c495d120

of-optiminterp: add new package * src/of-optiminterp.mk: add new mk file * Makefile.in: add optiminterp to package list * build_packages.m: add optiminterp to install script * dist-files.mk: add ref to of-optiminterp.mk * index.html: add of-optiminterp entry
author John Donoghue
date Tue, 17 Apr 2018 13:22:06 -0400
parents 8db5a297f243
children
line wrap: on
line source

/settings.mk
/usr/
/log/
/pkg
/wip/
/tmp-*