Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

View differences:

src/version.ml
1 1 

  		




  2
  
  
    
let number = "1.1-Unversioned directory"


  		




  
  2
  
    
let number = "1.3-     459"


  		




  3
  3
  
    

  		




  4
  
  
    
let prefix = "/usr/local"


  		




  
  4
  
    
let codename ="Xia/Zhong-Kang-dev"


  		




  
  5
  
    

  		




  
  6
  
    
let prefix = "/Users/Teme/Documents/GitHub/lustrec/cocosim"


  		




  5
  7
  
    

  		




  6
  8
  
    
let include_path = prefix ^ "/include/lustrec"


  		












Also available in:  Unified diff