]> git.lyx.org Git - features.git/tree - lib/commands/
configure.py: Be more explicit why file could not be removed.
[features.git] / lib / commands /
drwxr-xr-x   ..
-rw-r--r-- 512 default.def