1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

pkg/lua: remove unnecessary patch

This commit is contained in:
Alexandre Abadie 2020-06-24 10:19:32 +02:00
parent 48bdd7018a
commit dc2be00c63
No known key found for this signature in database
GPG Key ID: 1C919A403CAE1405
8 changed files with 0 additions and 0 deletions