-
Notifications
You must be signed in to change notification settings - Fork 0
Tool umbenennen #47
Copy link
Copy link
Open
Milestone
Description
089
opened on Jun 4, 2017
Issue body actions
- Tool von graphtool(Gui) in graphs umbenennen
- CMake und Co entsprechend anpassen
- Testen, dass nichts kaputt gegangen ist
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels