Skip to content

Commit

Permalink
Readded registered_property
Browse files Browse the repository at this point in the history
  • Loading branch information
jeguzzi committed Dec 1, 2023
1 parent 8f07532 commit 38db30d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion navground_sim/navground/sim/__init__.py
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
from typing import Callable, List

import pkg_resources
from navground.core import _register
from navground.core import _register, registered_property
from navground.core import load_py_plugins as _load_py_plugins

from ._navground_sim import Agent, BoundingBox, Entity, Experiment, Obstacle
Expand Down

0 comments on commit 38db30d

Please sign in to comment.