feat: add EDS

This commit is contained in:
Beartama 2023-09-10 14:38:10 +02:00 committed by GitHub
parent b6492f41c4
commit 4c1a76ec23
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 61 additions and 0 deletions

View file

@ -116,6 +116,9 @@
"ebnf": {
"revision": "8e635b0b723c620774dfb8abf382a7f531894b40"
},
"eds": {
"revision": "fde62029d4c715562230070b9af51a9500c2ce10"
},
"eex": {
"revision": "f742f2fe327463335e8671a87c0b9b396905d1d1"
},