antoniop
committed
on 14 Nov
Fix rather confusing name of javascript library file