Change double line to single one
tree3ed8837c9a2632c9a50c23000271933281138eeb
-rw-r--r-- 60 .gitignore
drwxr-xr-x - css
-rw-r--r-- 3120 docs.php
lrwxrwxrwx 19 favicon.ico -> images/nasmicon.ico
-rw-r--r-- 53 footer.inc
drwxr-xr-x - images
-rw-r--r-- 3555 index.php
-rw-r--r-- 1738 links.php
drwxr-xr-x - links
-rw-r--r-- 859 navbar.inc
-rw-r--r-- 3447 patches.php
-rw-r--r-- 250 robots.txt