diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2015-10-08 12:17:21 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2015-10-08 12:17:21 +0300 |
| commit | fd5b213302c446a4b2fa74f1df6215a073cc6d05 (patch) | |
| tree | ceb345facc1e8eb4a648443c8669cfb93d691287 /m4 | |
| parent | 0d1c0660d7b446188b36f19d0dd79d8f97bd4360 (diff) | |
| download | patches-fd5b213302c446a4b2fa74f1df6215a073cc6d05.tar patches-fd5b213302c446a4b2fa74f1df6215a073cc6d05.tar.gz | |
Correct "Revert "gnu: camlp4: Remove extra input.""
This corrects a typo in 0d1c0660d7b446188b36f19d0dd79d8f97bd4360.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions