blob: 4c9b3b01a336869ee52a92500ee80195e5f2563d (
plain)
1
2
3
4
5
|
<?php include('develdownload.php'); ?>
<?php
/* This file needs some extra characters in it for apache to work its magic.
Things work fine as link to index.html, but it's tricky to include links
in cvs. */ ?>
|