diff scripts/validate_level @ 584:60985ca71af5

Update repo url. Comment out CIA submission, since that's dead
author Neil Muller <drnlmuller@gmail.com>
date Tue, 17 Mar 2020 22:32:56 +0200
parents 7586dbc4f865
children fca61cd8fc33
line wrap: on
line diff