if (isset($_POST["str"]))$str=$_POST["str"];
if (isset($_POST["action"]))$action=$_POST["action"];
+if ($arch == "src")
+ $arch = "SRPMS";
+
function myheader()
{
echo '<' . '?xml version="1.0" encoding="' . _("ISO-8859-1") .'"?' . ">\n";
"alt=\""._("Powered by PLD Linux")."\" border=\"0\" /></a><br />\n" .
"<small>(c) 2002 ".
"<a href=\"mailto:feedback@pld-linux.org\">PLD Team</a><br />\n".
- '$Revision: 1.9 $'.
+ '$Revision: 1.10 $'.
"</small></div>\n";
# smile ;)
<!-- ech... niech strace... -->
<a href="mailto:feedback@pld-linux.org"><?=_("to us")?></a>. <?=_("Positive opinions are also")?>
<a href="mailto:feedback@pld-linux.org"><?=_("welcome")?></a> ;)</p>
-<p>Version: $Id: index.php,v 1.9 2009/03/02 11:10:33 glen Exp $</p>
+<p>Version: $Id: index.php,v 1.10 2010/02/03 08:42:16 arekm Exp $</p>
</td><td width="20%"> </td></tr>
</table>
<?php