[plt-dev] using the "props" script

To use the "props" script, I recommended adding a git alias.  This
doesn't work well, since such aliases are always executed from the
repository root (and there is no way to know where the command
originally started from).  So if you did this, please remove that
alias, then add it as a shell script -- put this in a "git-prop" file
that is somewhere in your path:

  #!/bin/sh
  exec "$(git rev-parse --show-toplevel)/collects/meta/props" "$@"

and "chmod +x" it, then continue using it as usual.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!