Fix #3412: the worker of an Id might not be a local Id
[ghc-hetmet.git] / utils / ghc-pwd /
2009-05-07 Ian LynaghRename pwd to ghc-pwd