Skip to content

Commit

Permalink
Yet another rename
Browse files Browse the repository at this point in the history
Signed-off-by: Arjo Chakravarty <arjoc@google.com>
  • Loading branch information
arjo129 committed Jul 28, 2023
1 parent 0c6179a commit 4ec4d20
Show file tree
Hide file tree
Showing 5 changed files with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions rmf_site_editor/src/interaction/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -65,8 +65,8 @@ pub use preview::*;
pub mod scale_factor_limiting;
pub use scale_factor_limiting::*;

pub mod ColorBasedPicker;
pub use ColorBasedPicker::*;
pub mod color_based_picker;
pub use color_based_picker::*;

pub mod select;
pub use select::*;
Expand Down

0 comments on commit 4ec4d20

Please sign in to comment.