projects / jolie.agda.git / commit
| author | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 7 Jan 2017 19:18:07 +0000 (00:18 +0500) | ||
| committer | Eugene Akentyev <ak3ntev@gmail.com> | |
| Sat, 7 Jan 2017 19:18:07 +0000 (00:18 +0500) | ||
| commit | 25ab3d57143ef9c26f1fa9922282b6754438a02c | |
| tree | 3f937767481723ab2949e801a4df1015ff52ee55 | tree | snapshot |
| parent | 1d23c479cd2ca14c8b64719c134373f272be7e2b | commit | diff |