Better fix than 115ca093b7f7569e0066561add69ee7e44e0f9f7.
[platal.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 6 .gitignore