search

rapidprom / rapidprom-source

Current development of the RapidProM Extension
http://www.rapidprom.org
14 stars 11 forks source link

Fixes operators labels #53

Closed fmannhardt closed 7 years ago

fmannhardt commented 7 years ago

Fixes #52 and #51