Skip to content

makeupdates: Ignore that getopt is deprecated#1295

Merged
vojtechtrefny merged 1 commit intostoraged-project:mainfrom vojtechtrefny:main_ignore-deprecated-getoptSep 23, 2024

Commits

Commits on Sep 23, 2024