directory /Resources/Fonts/ @ 1725:a7c05bbfaf6a db-changes

name size permissions
[up] drwxr-xr-x
file GenerateFont.py 3420 -rwxr-xr-x
file README.txt 304 -rw-r--r--
file UbuntuMonoBold-16.json 66876 -rw-r--r--