diff options
author | Johan "Papa" Cwiklinski <trasher@odysseus.(none)> | 2010-05-30 23:22:43 +0200 |
---|---|---|
committer | Johan "Papa" Cwiklinski <trasher@odysseus.(none)> | 2010-05-30 23:22:43 +0200 |
commit | eca7d464fd98c8542e3e54552bdc1fc77823c3bd (patch) | |
tree | 26f8f2c81f915d1fb39c9ebafd724a15d904a9eb /_header.php | |
parent | 44dd451dacc2f726155815210cf3bc03201cb72a (diff) |
Remove no longer needed files ; refs #47
Diffstat (limited to '_header.php')
-rw-r--r-- | _header.php | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/_header.php b/_header.php deleted file mode 100644 index 63f5850..0000000 --- a/_header.php +++ /dev/null @@ -1,14 +0,0 @@ - <div id="header"> - <h1> - <a href="http://fedoraproject.org"><img src="images/fedora-logo.png" alt="Fedora Project"/></a> - </h1> - <div id="headsearch"> - <form action='zoom.php' method='get'> - <div> - <label for="rpm">Package : </label> - <input type="text" name="rpm" id="rpm" size="20" /> - <input type="submit" value="Search" /> - </div> - </form> - </div> - </div> |