diff --git a/.gitattributes b/.gitattributes
index 38d7151d460..1125e2896bc 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -2136,6 +2136,7 @@ Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release -text
 Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab -text
 Maintenance/infrastructure/cgal.geometryfactory.com/bin/update_manual_tools -text
 Maintenance/infrastructure/cgal.geometryfactory.com/crontab -text
+Maintenance/infrastructure/cgal.geometryfactory.com/partition-table-sda.txt -text
 Maintenance/infrastructure/cgal.geometryfactory.com/reference-platforms/boostrap -text
 Maintenance/infrastructure/cgal.geometryfactory.com/reference-platforms/common-setup -text
 Maintenance/infrastructure/cgal.geometryfactory.com/reference-platforms/i686_Linux-2.6_g++-3.4.6_CentOS-5.1-O2/CMakeCache.txt -text
diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/partition-table-sda.txt b/Maintenance/infrastructure/cgal.geometryfactory.com/partition-table-sda.txt
new file mode 100644
index 00000000000..7ba18c16b03
--- /dev/null
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/partition-table-sda.txt
@@ -0,0 +1,12 @@
+# partition table of /dev/sda
+unit: sectors
+
+/dev/sda1 : start=       63, size= 20482812, Id=fd, bootable
+/dev/sda2 : start= 20482875, size= 16383174, Id=fd
+/dev/sda3 : start= 36866049, size=2893406016, Id= f
+/dev/sda4 : start=        0, size=        0, Id= 0
+/dev/sda5 : start= 36866050, size=2893406015, Id=fd
+#
+# Restore with:
+#   sfdisk --force /dev/sda < partition-table-sda.txt
+#