/scripts/

• ../
• build_web_resources.py
• db_update-20151013.sql
• db_update-20151015.sql
• db_update-20151106.sql
• db_update-20151111.sql
• db_update-20160228.sql
• deploy
• export_problems.py
• problem_html.py
• sqlite_to_pg.py
• systemd
• sysvinit
• trace_viewer.py
• utils.py