diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-12 23:04:01 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-12 23:04:01 (GMT) |
commit | 5a7a2fedc3d28b693e4208523ac9872c82771d27 (patch) | |
tree | 9e0cc532745e3b0f67ce2b3228ee43aacd9a4f2a /.gitignore | |
parent | 5101efb75bed09e2f7fcbe2a5db9ddf947fabef1 (diff) |
A bunch of cleanups. Add some useful properties to the browser.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -8,6 +8,7 @@ Makefile.in *.libs *.la *.lo +*.loT # Absolute |