search

probmods / webppl-editor

Browser-based editor for WebPPL
Other
8 stars 1 forks source link

Should include webppl as devDependency #15

Closed longouyang closed 8 years ago

longouyang commented 8 years ago

Currently, it is a gitignore'd symlink inside the compiled directory, which is brittle.

longouyang commented 8 years ago

Fixed in 85ccc2a180e7ec2e5b25e10303d7836002368a07 as part of a switch from Make to Grunt