git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 723b98f) | patch
+set thorough_search
authorshort <>
Wed, 25 Jul 2001 22:52:05 +0000 (22:52 +0000)
committershort <>
Wed, 25 Jul 2001 22:52:05 +0000 (22:52 +0000)
commit50d1e66e3f656f938b5a560336866bd8657ed4b7
tree0bdfb9e2999f7b823bd93361f39a8618fb003aa7tree
parent723b98f5494c23fe7bcf021ef4024887c24e4122commit | diff
+set thorough_search
.muttrc.addons diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.