Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
makeupdates: Ignore that getopt is deprecated
getopt is "soft deprecated" starting with Python 3.13. Pylint warns about this but getopt is not going to be removed, it's just not being actively developed any more. We should switch to argopt in the future, but for now we can just ignore the warning.
- Loading branch information