| author | Clifford Wolf <clifford@clifford.at> | |
| Sat, 17 Aug 2019 12:47:02 +0000 (14:47 +0200) | ||
| committer | Clifford Wolf <clifford@clifford.at> | |
| Sat, 17 Aug 2019 12:49:55 +0000 (14:49 +0200) | ||
| commit | 27d59dc0550432458d4bd636081a7b9f4b4411fe | |
| tree | e9b591c5f259ec308a7f1dd0b412a5ca09cf2ff6 | tree |
| parent | 6b156beda16cce69e7318a3a2fdbc3ad547370c6 | commit | diff |
| frontends/verific/verific.cc | diff | blob | history |