Tom Jack 0871fe9c59 Merge branch 'feature/remove-assignment-mini_c' into 'dev'
Remove (unused) assignment from mini_c

See merge request ligolang/ligo!454
2020-03-04 18:38:18 +00:00
..
2019-10-07 14:18:32 +00:00
2019-09-10 12:42:49 +02:00
2019-12-31 14:23:51 +01:00