Completed
Pull Request — master (#52)
by
unknown
02:17
created

Changes

1 added class/operation
Arrow A State::getAgent() added
8.59
▶   ± 0
Test Coverage
47%
▶ ±0%
Head
Lctrs  
Merge edf10b07c0d0ff2cfe7f3c316916e18e60078ac1 into 33f7e087023e1348007892b0c3323cf6b1f35ed5
4 more commits
Base
Christian Flothmann  
add missing statement version attribute