hmslincs/hmslincs — pull request #272 by gberriz (2014-05-12 16:10:55+00:00)
Title: fix 'keys' bug

(The latest version of JS introduces a new Object.keys property, which
leads to some name collisions in our scripts.)

@jmuhlich