Parent Directory | Revision Log | Patch
revision 1.15 by zsh, Sat Aug 18 19:22:22 2001 UTC | revision 1.16 by zsh, Sun Nov 25 15:17:24 2001 UTC | |
---|---|---|
# | Line 1003 Entries without port tokens default to D | Line 1003 Entries without port tokens default to D |
1003 | (remove-text-properties start end properties object)) | (remove-text-properties start end properties object)) |
1004 | t)) | t)) |
1005 | ||
1006 | (defvar gnus-directory-sep-char-regexp "/" | |
1007 | "The regexp of directory separator character. | |
1008 | If you find some problem with the directory separator character, try | |
1009 | \"[/\\\\\]\" for some systems.") | |
1010 | ||
1011 | (provide 'gnus-util) | (provide 'gnus-util) |
1012 | ||
1013 | ;;; gnus-util.el ends here | ;;; gnus-util.el ends here |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |