/scripts/

• ../
• build_web_resources.py
• db_update-20151013.sql
• deploy
• export_problems.py
• sqlite_to_pg.py
• systemd
• sysvinit
• utils.py