https://github.com/probmods/webppl
Tip revision: 81ced24c9b6d47cd4a511b4176489910dac12b6d authored by Andreas Stuhlmüller on 13 April 2015, 15:26:09 UTC
Merge branch 'dev'
Merge branch 'dev'
Tip revision: 81ced24
.gjslintrc
--nojsdoc
--jslint_error=all
--strict
--max_line_length=120
--disable=10,11
--additional_extensions=wppl