This commit is contained in:
Michiel Borkent 2024-10-10 19:52:13 +02:00
parent ce79545b50
commit a32243e81a

View file

@ -12,6 +12,10 @@
"interfaces": [
"java.io.FileFilter"
]
},
{
"interfaces": [
"java.nio.file.DirectoryStream$Filter
]
}
]