X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=gendocs_template;h=a62ad6167b0b6ae13a2264bf678a362b1c5e5e6b;hp=ee6a5c566e6242f36ea6ab9f3599c793cc1b7994;hb=6d7df444997670f97a367b89fab6c0f5d8ecc4fd;hpb=c5a2ccec277a0a538f2def943c71a9f7e2dbebd1 diff --git a/gendocs_template b/gendocs_template index ee6a5c566e..a62ad6167b 100644 --- a/gendocs_template +++ b/gendocs_template @@ -3,12 +3,6 @@
(This page generated by the %%SCRIPTNAME%% script.)
- - - - - - +