| Diff file | headache_1.03-18.diff.gz | |
|---|---|---|
| Size | 11047 | |
| MD5sum | acc3bf8632e098bcdc65ef6eabd07c39 | |
| ./debian only changes | view | download |
| patch | summary | view | raw |
|---|---|---|---|
| 01_detect_end_of_header | main.ml | 4 ++-- model.ml | 8 +++++++- 2 files changed, 9 insertions(+), 3 deletions(-) |
view | download |
| 02_skip_begin | Depend | 22 +++++++-------- Makefile.in | 6 ++-- config_parse.mly | 79 +++++++++++++++++++++++++++++++++++++++++-------------- main.ml | 23 +++++++++++----- model.ml | 4 -- skip.ml | 36 +++++++++++++++++++++++++ 6 files changed, 128 insertions(+), 42 deletions(-) |
view | download |
| 03_header_width | main.ml | 25 ++++++++++++++++--------- model.ml | 18 ++++++++++-------- 2 files changed, 26 insertions(+), 17 deletions(-) |
view | download |