diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2012-05-25 11:19:24 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2012-05-25 11:19:24 -0700 |
commit | 42b2a986d9d4b7040fb20c90ec0efeffb78e761a (patch) | |
tree | d38e7bf5307837f2f38982757f088100de18a64e /src/term.c | |
parent | e4d81efc58695c19154d5f6733d91172b4c3e5b7 (diff) | |
parent | a8d3cbf75d219d7a249fc0623219511179e959da (diff) |
Merge from trunk.
Diffstat (limited to 'src/term.c')
-rw-r--r-- | src/term.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/term.c b/src/term.c index 09888bc6dd..3d7a677374 100644 --- a/src/term.c +++ b/src/term.c @@ -3599,7 +3599,7 @@ delete_tty (struct terminal *terminal) /* Mark the pointers in the tty_display_info objects. - Called by the Fgarbage_collector. */ + Called by Fgarbage_collect. */ void mark_ttys (void) |