amalgame/commit

Merge branch 'master' of github.com:jrvosse/amalgame

authorJacco van Ossenbruggen
Mon Aug 25 14:12:05 2014 +0200
committerJacco van Ossenbruggen
Mon Aug 25 14:12:05 2014 +0200
commit6eed8db3b10ffbb2bca51701fc846aeacd81160c
treeb42a60b17e8f0bac330083f1c78c047bb8d02ef1
parent3f6a92ebf98d4640c5c70374605977be6a1c678b 60d86933a915fa3d210d2adcc02ce6617e76745c
Diff style: stat patch
 lib/amalgame/json_util.pl |  7 +++++++
 web/js/evaluater.js       | 21 +++++++++++++++++++++
 2 files changed, 20 insertions(+), 8 deletions(-)