Skip to content

Commit

Permalink
Update src/ontology/edits/oeo-shared.omn
Browse files Browse the repository at this point in the history
  • Loading branch information
viktorwichern authored Jul 12, 2023
1 parent de2a385 commit 33c0e1c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ontology/edits/oeo-shared.omn
Original file line number Diff line number Diff line change
Expand Up @@ -2730,7 +2730,7 @@ pull request: https://github.com/OpenEnergyPlatform/ontology/pull/1531


issue: https://github.com/OpenEnergyPlatform/ontology/issues/1577
pull: https://github.com/OpenEnergyPlatform/ontology/pull/1618",
pull: https://github.com/OpenEnergyPlatform/ontology/pull/1618"

make equivalent and add axiom:
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1523
Expand Down

0 comments on commit 33c0e1c

Please sign in to comment.