Gets rid of obsolete deepdive.conf lines

HazyResearch / ddlog

Compiler for writing DeepDive applications in a Datalog-like language — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👇🏿

https://github.com/HazyResearch/deepdive/tree/master/compiler/ddlog

19 stars 4 forks source link

Gets rid of obsolete deepdive.conf lines #92

Closed netj closed 8 years ago

netj commented 8 years ago

Will create another PR for master too.

coveralls commented 8 years ago

Coverage decreased (-0.1%) to 95.256% when pulling 74618d2589aa6e8918eec35ae02eaa340d0ff51f on deepdive-conf-legacy-cleanup into 7eea0c436db203fab3e46bcb4905e3a9ac9322a8 on v0.8.x.

netj commented 8 years ago

This is no longer necessary.