They had been helpful in the tricky recent merge of the master branch, but are no longer needed now.
* Makefile.sav: Remove. * Makefile.old: Likewise. Signed-off-by: Stefano Lattarini <[email protected]> --- Makefile.old | 723 ----------------------------------------------------------- Makefile.sav | 708 --------------------------------------------------------- 2 files changed, 1431 deletions(-) delete mode 100644 Makefile.old delete mode 100644 Makefile.sav diff --git a/Makefile.old b/Makefile.old deleted file mode 100644 index 3933497..0000000 diff --git a/Makefile.sav b/Makefile.sav deleted file mode 100644 index 60bfca2..0000000 -- 1.8.3.rc0.19.g7e6a0cc
