Copy resources in build.py
[armadillo.git] / web_frontend /
drwxr-xr-x   ..
-rw-r--r-- 91 index.html