https://github.com/probmods/webppl
Revision 1273a92e66f9d28ac2c6c465b966aa159e227f5e authored by Andreas Stuhlmüller on 20 January 2016, 19:04:30 UTC, committed by Andreas Stuhlmüller on 20 January 2016, 19:04:30 UTC
1 parent 60195d2
Raw File
Tip revision: 1273a92e66f9d28ac2c6c465b966aa159e227f5e authored by Andreas Stuhlmüller on 20 January 2016, 19:04:30 UTC
0.5.0
Tip revision: 1273a92
.gjslintrc
--nojsdoc
--jslint_error=all
--strict
--max_line_length=120
--disable=10,11
--additional_extensions=wppl
back to top