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 |