annotate doc/misc/.cvsignore @ 101675:9c67a492eb59

* atimer.c (run_timers, alarm_signal_handler): * keyboard.c (pending_signals, handle_async_input, init_keyboard): * w32inevt.c (w32_console_read_socket): * w32term.c (w32_read_socket): * xterm.c (XTread_socket): Use "#ifdef SYNC_INPUT" where appropriate.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 30 Jan 2009 13:06:07 +0000
parents 1a1bf5f79f55
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84281
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 *.aux
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 *.cp
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 *.cps
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 *.dvi
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 *.fn
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 *.fns
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 *.ky
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 *.kys
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 *.log
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 *.op
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 *.ops
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 *.pdf
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 *.pg
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 *.pgs
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 *.ps
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 *.tmp
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 *.toc
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 *.tp
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 *.tps
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 *.vr
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 *.vrs
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 Makefile
1a1bf5f79f55 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 makefile