/etc/
../
etc/coq-scripts
@ d858db1
freshen-bedrock-files.sh