search

ontodev / droid

DROID Reminds us that Ordinary Individuals can be Developers
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

Misc improvements #68

Closed lmcmicu closed 4 years ago

lmcmicu commented 4 years ago

I am opening this draft PR to keep track of the issues closed by this branch. Note that because PR #66 hasn't been merged yet, its diffs are showing in this PR, which is why I'll likely just delete this PR once #66 is merged and start it again.

Closes #54 (via https://github.com/ontodev/droid/pull/68/commits/3b6ae8d463b3c37d4338024f131fd6c5353bbad8)

lmcmicu commented 4 years ago

On second thought, to avoid confusion I am going to close this PR and wait until #66 is merged instead.