This directory contains external libraries used by DOMjudge.
