What commit does the 'Resources' menu refer to?

ad-freiburg / qlever-ui

A user interface for QLever

Apache License 2.0

19 stars 12 forks source link

What commit does the 'Resources' menu refer to? #22

Open graue70 opened 4 years ago

graue70 commented 4 years ago

The menu element mentions the commit 0dd39c3 on master. What does this refer to? I couldn't find the commit in both qlever and qlever UI repositories in the last year.

jbuerklin commented 4 years ago

The element shows the current qleverUI commit. But you're right that there is no such commit 0dd39c3 in our repo. I can only guess that this is some custom commit not uploaded to version control running on http://qlever.cs.uni-freiburg.de/