]>
author | Pavel Pisa <pisa@cmp.felk.cvut.cz> | |
Fri, 1 Dec 2017 16:40:26 +0000 (17:40 +0100) | ||
committer | Pavel Pisa <pisa@cmp.felk.cvut.cz> | |
Fri, 1 Dec 2017 16:40:26 +0000 (17:40 +0100) | ||
commit | 6042ab483acc59be26df66f45025239a5dbd38e9 | |
tree | aecadc423f1e8edc38e0e157102a64bd8c83937c | tree | snapshot |
parent | 9ed3fe75e57dfe4915b9aafef3910ff099c7cc21 | commit | diff |
blocks/tlc_c/sfunction_canreceive.tlc | diff | blob | history |