Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Updated links to other browsers #230

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

Updated links to other browsers #230

wants to merge 7 commits into from

Conversation

matuskalas
Copy link
Member

  • Commented out AberOWL, as it's outdated and contains some weirdness in concept attributes
  • Changed WebProtégé link to the "dev" version
  • Added notes on what versions are displayed

Checklist

  • I indicated which issue (if any) is closed with this PR using closing keywords
  • I only changed lines related to my PR (no bulk reformatting)
  • I indicated the source and check the license if I re-use code, or I did not re-use code
  • I made my best to solve only one issue in this PR, or explain why multi had to be solved at once.

@matuskalas
Updated links to other browsers
d127208 
- Commented out AberOWL, as it's outdated and contains some weirdness in concept attributes
- Changed WebProtégé link to the "dev" version
- Added notes on what versions are displayed
@bryan-brancotte bryan-brancotte self-requested a review August 5, 2021 09:01
bryan-brancotte
bryan-brancotte requested changes Aug 5, 2021
View reviewed changes
Copy link
Member

@bryan-brancotte bryan-brancotte left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll push proposed changes

js/tree-edam-stand-alone.js Outdated Show resolved Hide resolved
js/tree-edam-stand-alone.js Outdated Show resolved Hide resolved
@bryan-brancotte bryan-brancotte marked this pull request as ready for review August 6, 2021 09:05
@bryan-brancotte
Copy link
Member

Peek 06-08-2021 11-17

A graphical bug remains on the link on the right, but works otherwise. Ready to merge

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@bryan-brancotte bryan-brancotte bryan-brancotte requested changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@matuskalas @bryan-brancotte