Object renaming
It should be possible to rename:
-
algorithms -
dataformats -
toolchains -
experiments
The platform should handle renaming gracefully.
André Anjos@andre.anjosIt should be possible to rename:
The platform should handle renaming gracefully.