summaryrefslogtreecommitdiff
path: root/src/test/resources/BlackBoxTest.v
diff options
context:
space:
mode:
authorJim Lawson2016-06-03 13:46:55 -0700
committerJim Lawson2016-06-03 13:46:55 -0700
commit63fe683c079ef64b40fee5cca45784b83bb812bc (patch)
tree334f3008e96ca8c2c18a68d3029478f84e1d9994 /src/test/resources/BlackBoxTest.v
parentfd53af8642237998e23456a3fd1648ac84607db0 (diff)
parent807184b08968e3c84abf21311e082151267b983b (diff)
Merge pull request #194 from ucb-bar/front_end_dependency
Add a hack to build.sbt to allow local publishing We're merging this despite the failing tests (Jenkins ghprb isn't communicating with GitHub following security and authentication updates). We'd prefer to package all the sbt subprojects in a single jar, but current attempts to do so fail. See #208.
Diffstat (limited to 'src/test/resources/BlackBoxTest.v')
0 files changed, 0 insertions, 0 deletions