tree 667fe866ad9b9cdea94dbd3b64dc37dda8dfc8bf
parent 7c99ad1bbe6f92becd707ad4dfe35bdcb7866f82
author Adrià Vilanova Martínez <me@avm99963.com> 1681573753 +0200
committer Adrià Vilanova Martínez <me@avm99963.com> 1681573753 +0200

Fix typo in optionsPrototype.json5

Change-Id: Ieb9a511dbfa73ef068b612c3aad7711bf33e4709