Skip to content

Delete ancient problem format update script - #459

Merged
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:cleanup_ancient_update_script
Aug 13, 2026
Merged

Delete ancient problem format update script#459
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:cleanup_ancient_update_script

Conversation

@gkreitz

@gkreitz gkreitz commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

Removes an ancient script called update_from_old_problemformat.py which was used to help porting problem packages many years ago. The script did very little, and I doubt there are any packages in existence still using the undocumented version it attempted to update from.

@pehrsoderman
pehrsoderman merged commit 86bd839 into Kattis:master Aug 13, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants