comparison README @ 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 ecad9fe83f88
children
comparison
equal deleted inserted replaced
4664:d09fabbfdc17 4665:6592c495d120