log website/src/manual.html @ 1363:1a7b8e38921a

age author description
Wed, 20 Mar 2019 17:03:29 -0600 Franklin Schmidt replace java() with require "java"