X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=gendocs_template;h=a62ad6167b0b6ae13a2264bf678a362b1c5e5e6b;hb=6d7df444997670f97a367b89fab6c0f5d8ecc4fd;hp=ee6a5c566e6242f36ea6ab9f3599c793cc1b7994;hpb=c5a2ccec277a0a538f2def943c71a9f7e2dbebd1;p=pspp 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.)
- - - - - - +