Correct tilde expansion
authorAdam Chlipala <adamc@hcoop.net>
Tue, 8 May 2007 20:30:00 +0000 (20:30 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 8 May 2007 20:30:00 +0000 (20:30 +0000)
commit8c841b4884e87972e01ac76665e05108f9c249d8
tree862f14a6a48e92fc60e3d4f8d4f9a7fe53e35d88
parentffc8cf43cd1337beb6e812e06cf1c4ff45945d90
Correct tilde expansion
scripts/domtool-addacl