comparison website/src/docs.html @ 1353:8d95711f6615

replace java() with require "java"
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 20 Mar 2019 17:03:29 -0600
parents 29d6d7d79c41
children d3e61cd2aca0
comparison
equal deleted inserted replaced
1352:1604d7f36f3a 1353:8d95711f6615