| author | Miodrag Milanovic <mmicko@gmail.com> | |
| Tue, 30 Jun 2020 10:13:13 +0000 (12:13 +0200) | ||
| committer | Miodrag Milanovic <mmicko@gmail.com> | |
| Tue, 30 Jun 2020 10:13:13 +0000 (12:13 +0200) | ||
| commit | 561890c4e85932b89cb1043a0767dcec6da5993c | |
| tree | edb3194729677277e3b3d761474a8c78b4ff9ae0 | tree |
| parent | f7fdd99e45de5330b8f0cbb183c7b6e2ccc274b7 | commit | diff |
| frontends/verific/verific.cc | diff | blob | history |