/etc/
../
etc/coq-scripts
@ 0a2f6e9
freshen-bedrock-files.sh