This commit is contained in:
Michiel Borkent 2024-10-10 19:54:38 +02:00
parent a32243e81a
commit 61fda073b2

View file

@ -15,7 +15,7 @@
},
{
"interfaces": [
"java.nio.file.DirectoryStream$Filter
"java.nio.file.DirectoryStream$Filter"
]
}
]