Ignore:
Timestamp:
Aug 7, 2005, 11:51:58 PM (18 years ago)
Author:
Jari Häkkinen
Message:

Changed filenames lib/random/Random.* to lib/random/random.*

File:
1 moved

Legend:

Unmodified
Added
Removed

  • trunk/lib/random/random.cc

    r374 r375  
    11// $Id$
    22
    3 #include <c++_tools/random/Random.h>
     3#include <c++_tools/random/random.h>
    44#include <c++_tools/statistics/Histogram.h>
    55
Note: See TracChangeset for help on using the changeset viewer.