| author | Clifford Wolf <clifford@clifford.at> | |
| Thu, 24 Oct 2019 10:13:37 +0000 (12:13 +0200) | ||
| committer | Clifford Wolf <clifford@clifford.at> | |
| Thu, 24 Oct 2019 10:13:50 +0000 (12:13 +0200) | ||
| commit | 84982b308343315c889d3d00116db820a51cad78 | |
| tree | 9eabe561c9a24e57bddff83886e996c015bd3e3c | tree |
| parent | 34dadd9ab20494057c1ac7dae443b48eee0c2c30 | commit | diff |
| frontends/verific/verific.cc | diff | blob | history |