-
Janik Zikovsky authored
Fixes #2091: equals() function for quickly comparing workspaces. == operator cannot be overloaded since it compares the shared pointers rather than the actual contents.
5e03acf3
Fixes #2091: equals() function for quickly comparing workspaces. == operator cannot be overloaded since it compares the shared pointers rather than the actual contents.