comparison index.html @ 4424:bf58ac7af95d

of-database: add patch for dev octave * src/of-database-2-dev-fixes.patch: new file * dist-files.mk: add of-database-2-dev-fixes.patch * src/of-database/mk: call src/bootstrap
author John D
date Fri, 14 Jul 2017 12:00:29 -0400
parents 7208df703412
children 67c0ec94a9eb
comparison
equal deleted inserted replaced
4423:8c4a121b1e71 4424:bf58ac7af95d