Integrate htools's gitignore in top-level one
authorIustin Pop <iustin@google.com>
Mon, 21 Mar 2011 11:33:53 +0000 (12:33 +0100)
committerIustin Pop <iustin@google.com>
Tue, 22 Mar 2011 16:47:41 +0000 (17:47 +0100)
commit83d96c362f950b6ff74e462271797668dcd3b820
tree6e773ee7c550b76428ae1fde27ff2537f30eee2f
parentd61599337668ca92fb7ea3b098092f1ee32923cf
Integrate htools's gitignore in top-level one

Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
.gitignore
htools/.gitignore [deleted file]