| patch |
summary |
view |
raw |
| 01-dont-regenerate-existing-ofiles.diff |
src/main.ml | 12 ++++++++----
1 file changed, 8 insertions(+), 4 deletions(-)
|
view
|
download
|
| 02-grammar-typos.patch |
/grm/eng/manager.grm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
|
view
|
download
|
| 03-makefile.diff |
makefile | 53 ++++++++++++++++++++++++++++++++---------------------
1 file changed, 32 insertions(+), 21 deletions(-)
|
view
|
download
|
| 04-create-mode.diff |
src/io.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
|
view
|
download
|
| 05-8bit-strings.diff |
src/lexer.mll | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
|
view
|
download
|