log website/src/manual.html @ 1373:372906d1d08b

age author description
Mon, 01 Jul 2019 22:54:37 -0600 Franklin Schmidt minor
Wed, 20 Mar 2019 17:03:29 -0600 Franklin Schmidt replace java() with require "java"
Wed, 20 Feb 2019 12:09:51 -0700 Franklin Schmidt add lucene search options