Trying to get push to work after merge.

2012-06-20 19:41:10 +02:00
parent 72bdd7a3d0 862d4fb571
commit 2a08471c04
1 changed files with 1 additions and 0 deletions
--- a/doc/boot_sectors.txt
+++ b/doc/boot_sectors.txt
@ -1422,5 +1422,6 @@ Involved -as mkisofs options:
 >>> What boots by what ?


+
 ------------------------------------------------------------------------------