lemon/graph_to_eps.h
changeset 2049 a9933b493198
parent 1993 2115143eceea
child 2084 59769591eb60
equal deleted inserted replaced
22:e3276d1070bd 23:0c72fc32c284
    18 
    18 
    19 #ifndef LEMON_GRAPH_TO_EPS_H
    19 #ifndef LEMON_GRAPH_TO_EPS_H
    20 #define LEMON_GRAPH_TO_EPS_H
    20 #define LEMON_GRAPH_TO_EPS_H
    21 
    21 
    22 #include <sys/time.h>
    22 #include <sys/time.h>
       
    23 
       
    24 #ifdef WIN32
       
    25 #include <lemon/bits/mingw32_time.h>
       
    26 #endif
    23 
    27 
    24 #include<iostream>
    28 #include<iostream>
    25 #include<fstream>
    29 #include<fstream>
    26 #include<sstream>
    30 #include<sstream>
    27 #include<algorithm>
    31 #include<algorithm>