This commit is contained in:
Andreas Rumpf 2019-05-24 08:19:05 +02:00 • committed by GitHub
commit 39a3dbb16b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 19 additions and 2 deletions

View file

@ -0,0 +1 @@
type Foo* = array[2, byte]