better names for some files and things
authorRalf Jung <post@ralfj.de>
Thu, 13 Feb 2014 14:58:42 +0000 (15:58 +0100)
committerRalf Jung <post@ralfj.de>
Thu, 13 Feb 2014 14:58:42 +0000 (15:58 +0100)
commit6dfe0e9d89af3b03e9d199fd3ae086ab16aae77a
tree3baee83ec1320fa3f9bf6fb1cd276c598434cf36
parent807db80a3e637f5a8e7083a79e174827ae2339d1
better names for some files and things
Makefile
makeschsh
schroot/schsh/copyfiles [moved from schroot/user/copyfiles with 100% similarity]
schroot/schsh/nssdatabases [moved from schroot/user/nssdatabases with 100% similarity]
schsh