Merge remote branch 'origin/master'
commit75bfedeb0d351256518b109ba290d77ba11d8c52
authorAJ Rossini <blindglobe@gmail.com>
Mon, 31 Dec 2007 17:29:19 +0000 (31 18:29 +0100)
committerAJ Rossini <blindglobe@gmail.com>
Mon, 31 Dec 2007 17:29:19 +0000 (31 18:29 +0100)
tree81760d9aec752e219f552db7ccf4ea32dc83776a
parent091d40d5db5641b1efa38b1e718b8a6a2ade9e9b
parentb192a1997893571d965e81e4fe8a19cbed9d348d
Merge remote branch 'origin/master'

* origin/master:
  more on how to use git, esp the REPO mob branch.
  crude hack to allow Carlos and my home directories.  Feel free to add more.
  clean up of comments and whitespace.