154 |
|
|
155 |
extern int set_file_times __P ((const char *, EMACS_TIME, EMACS_TIME)); |
extern int set_file_times __P ((const char *, EMACS_TIME, EMACS_TIME)); |
156 |
|
|
157 |
|
/* defined in keyboard.c */ |
158 |
|
extern void set_waiting_for_input __P ((EMACS_TIME *)); |
159 |
|
|
160 |
/* Compare times T1 and T2. Value is 0 if T1 and T2 are the same. |
/* Compare times T1 and T2. Value is 0 if T1 and T2 are the same. |
161 |
Value is < 0 if T1 is less than T2. Value is > 0 otherwise. */ |
Value is < 0 if T1 is less than T2. Value is > 0 otherwise. */ |
162 |
|
|