diff options
Diffstat (limited to 'portal-gui/scripts/roa_check.py')
| -rwxr-xr-x | portal-gui/scripts/roa_check.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/portal-gui/scripts/roa_check.py b/portal-gui/scripts/roa_check.py index fd3adc36..b952c50f 100755 --- a/portal-gui/scripts/roa_check.py +++ b/portal-gui/scripts/roa_check.py @@ -1,4 +1,5 @@ #!/usr/bin/env python +# $Id$ # # Runs through all the published ROAs and updates the Django DB with the # current active status of each defined ROA. |