Since this is not the first time... Would it be too early to delete these files?
Thomas Gabor Hojtsy wrote: >>k.schroeder Sun Jun 2 15:03:06 2002 EDT >> >> Modified files: >> /phpdoc/en/functions filesystem.xml >> Log: >> Bug #13292 file_exists works with UNC names > > > There was no point in touching this file! This is not > used for manual building anymore, so your changes in this > file are pointless... > > Goba > >
