"...automata-library.git" did not exist on "74ba5dc98710b016e1952020f33518a4ddf19a7f"
Implementation of automatic measurements and measurement processing.
Status changed to closed
Oops, planý poplach, ještě jsem zapomněl na několik věcí...
Status changed to reopened
Status changed to merged