aboutsummaryrefslogtreecommitdiff
path: root/project/build.properties
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-07 16:30:26 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-07 16:30:26 +0000
commit53dbca1f3de8183eefdb0c6b2d0e384f1371e52e (patch)
tree650bdf83d3eca1ba8b8c4eb739f949bd69d21619 /project/build.properties
parentbbbb61ee13fa258cbed0b502426534afad49b651 (diff)
downloadRSAComb-53dbca1f3de8183eefdb0c6b2d0e384f1371e52e.tar.gz
RSAComb-53dbca1f3de8183eefdb0c6b2d0e384f1371e52e.zip
Change ConjunctiveQuery constructors interface
One of the object constructor was returning an Option. It was weird to have a constructor that would not always return an object.
Diffstat (limited to 'project/build.properties')
0 files changed, 0 insertions, 0 deletions