Rename module GlrOptions to Options
  
  Currently, ocamlbuild does not properly support multiple options.ml files in
different directories, even when using -for-pack. We need to think about how
to make this possible. It might become more necessary in the future. For now,
having a glrOptions.ml is okay.
   
Details
  
    
      | Id: | 
      dbaf6ec9be8dd07801bf257e29a9fa7aa24d3c01 | 
    
    
      | Type: | 
      bugfix | 
    
    
      | Creation time: | 
      2012-10-20 03:26 GMT | 
    
    
      | Creator: | 
      Pippijn van Steenhoven <pippijn@...> | 
    
    
    
      | Release: | 
      
        
          unassigned
        
       | 
    
    
      | Component: | 
      cxxparse | 
    
    
      | Status: | 
      
        closed: fixed
         
       | 
    
    
  
Issue log
  
  
    
      | 2012-10-27 01:05 GMT | 
      Pippijn van Steenhoven <pippijn@...> | 
      closed with disposition fixed | 
    
    
      
    
     | 
  
    
      | 2012-10-20 03:26 GMT | 
      Pippijn van Steenhoven <pippijn@...> | 
      created | 
    
    
     |