Project

General

Profile

Download (97 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/src/version.mli @ 3d1f9d9f

1 cc852504 Lélio Brun 
val number : string
2 

      

      

        3
        
        
        
        
        
val codename : string


      

      

        4
        
        
        
        
        

      

      

        5
        
        
        
        
        
val include_path : string


      

      

        6
        
        
        
        
        

      

      

        7
        
        
        
        
        
val testgen_path : string