Merge pull request #156 from uwplse/null_lambda_capture
-rw-r--r-- 937 .gitignore
-rw-r--r-- 331 .travis.yml
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 1241 README.md
drwxr-xr-x - bin
-rw-r--r-- 6556 build.gradle
drwxr-xr-x - docs
drwxr-xr-x - gradle
-rwxr-xr-x 5296 gradlew
-rw-r--r-- 2260 gradlew.bat
-rw-r--r-- 15254 jpf.properties
-rw-r--r-- 30 settings.gradle
drwxr-xr-x - src