diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-09-05 07:43:47 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-09-05 07:43:47 +0000 |
| commit | 134d928342e69cebb6682a199629efaca0c6c821 (patch) | |
| tree | 3e4cc33ef187cc6a891bf57430a7fec175c6366f /admin/revdiff | |
| parent | 8f8601801d2b0317036d34b486d074b96722bb70 (diff) | |
(string_buffer_position): Use *single_char_property*
functions instead of the *single_property* functions.
Diffstat (limited to 'admin/revdiff')
0 files changed, 0 insertions, 0 deletions