| 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
|
| config_file_types |
config_builtin | 1 +
1 file changed, 1 insertion(+)
|
view
|
download
|
| utf8_length |
Makefile.in | 6 ++++--
main.ml | 2 +-
model.ml | 6 +++---
3 files changed, 8 insertions(+), 6 deletions(-)
|
view
|
download
|