Paul Eggert
|
5badc81c1c
Update copyright year to 2017
|
8 年 前 |
Paul Eggert
|
e79b06e6de
Avoid stdio in SIGINT handler
|
9 年 前 |
Paul Eggert
|
4ebbdd6712
Handle errno and exit status a bit more carefully.
|
12 年 前 |
Paul Eggert
|
aaea749595
Merge from gnulib.
|
12 年 前 |
Paul Eggert
|
ab422c4d68
Update copyright notices for 2013.
|
12 年 前 |
Paul Eggert
|
caf8a9b2b3
Merge from gnulib.
|
13 年 前 |
Paul Eggert
|
bb55f713d2
Merge from gnulib.
|
14 年 前 |
Paul Eggert
|
e765a38829
gnulib: undo previous change
|
14 年 前 |
Paul Eggert
|
91ccade49b
gnulib: adjust to upstream _HEADERS change
|
14 年 前 |
Paul Eggert
|
5dc7a1d2c4
* lib/ignore-value.h: New file.
|
14 年 前 |