| Diff file | otags_3.09.3-3.diff.gz | |
|---|---|---|
| Size | 6963 | |
| MD5sum | 7d820c40c1cac54805b1174d6ed8e6e0 | |
| ./debian only changes | view | download |
| patch | summary | view | raw |
|---|---|---|---|
| 10_Makefile | Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) |
view | download |
| 20_camlp5 | Makefile | 8 ++++---- Makefile.here.tpl | 4 +++- configure | 4 ++-- editor.ml | 2 +- mk_conf | 2 +- pr.ml | 23 ++++++++++++++++++----- splay.ml | 4 ++-- 7 files changed, 31 insertions(+), 16 deletions(-) |
view | download |