log interfaces/discrete.js @ 1289:175cf75946f7

age author description
Wed, 09 Mar 2016 14:36:47 +0000 Nicholas Jillings Merge
Mon, 22 Feb 2016 04:17:19 +0000 Giulio Moro The version I use and works, addresses issues #1622, #1616, partially #1620
Tue, 22 Mar 2016 11:52:12 +0000 Nicholas Jillings Outside Reference HTML now in core interfaceContext. Dev_main