Skip to content
This repository has been archived by the owner on Oct 20, 2018. It is now read-only.

Moved CI badge to the top #402

Merged
merged 2 commits into from Sep 12, 2016

Conversation

poke19962008
Copy link
Contributor

No description provided.

@poke19962008 poke19962008 changed the title MOved Moved CI badge to the top Apr 5, 2016
@sandroacoelho sandroacoelho merged commit 1232925 into dbpedia-spotlight:master Sep 12, 2016
@sandroacoelho
Copy link
Contributor

Hi @poke19962008 : Thanks for you PR.

Best,

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
2 participants