| Diff file | tuareg-mode_1.45.6-1.diff.gz | |
|---|---|---|
| Size | 6938 | |
| MD5sum | 01fe9bb36b5cc2810397bb6063ac32e2 | |
| ./debian only changes | view | download |
| patch | summary | view | raw |
|---|---|---|---|
| 01_camldebug | append-tuareg.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |
| 02_localdoc | tuareg.el | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) |
view | download |
| 03_autoload_pattern | tmp/dpep-work.U6Ew9c/trunk/append-tuareg.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |