diff Platforms/Wasm/default-library.js @ 617:7efa2543699d

simplification
author Sebastien Jodogne <s.jodogne@gmail.com>
date Thu, 02 May 2019 18:21:59 +0200
parents 70992b38aa8a
children
line wrap: on
line diff