Issue728

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title option parser: further cleanup
Priority wish Status resolved
Superseder Nosy List jendrik, malte, silvan
Assigned To jendrik Keywords
Optional summary 


















Created on 2017-05-07.20:28:49 by jendrik, last changed  by jendrik.








 
Messages

 
  

   msg6360 (view)
   Author: jendrik
   Date: 2017-05-08.12:30:24
   
    
   
  

  

   
    
Done.

   		
  

 
 
  

   msg6359 (view)
   Author: malte
   Date: 2017-05-08.12:16:55
   
    
   
  

  

   
    
Diff looks good, feel free to merge.

   		
  

 
 
  

   msg6358 (view)
   Author: jendrik
   Date: 2017-05-08.12:15:38
   
    
   
  

  

   
    
I already checked that the help output remains the same.

   		
  

 
 
  

   msg6357 (view)
   Author: jendrik
   Date: 2017-05-08.12:03:20
   
    
   
  

  

   
    
I made a pull request at
https://bitbucket.org/jendrikseipp/downward/pull-requests/70 .

Any volunteers for reviewing?

   		
  

 
 
  

   msg6352 (view)
   Author: jendrik
   Date: 2017-05-07.20:28:49
   
    
   
  

  

   
    
During work on issue619 I noticed some further opportunities for cleaning up the 
option parser (in minor ways).

   		
  

 





History


Date
User
Action
Args



2017-05-08 12:30:24jendriksetstatus: reviewing -> resolved
messages:
  + msg6360


2017-05-08 12:16:55maltesetmessages:
  + msg6359


2017-05-08 12:15:38jendriksetmessages:
  + msg6358


2017-05-08 12:03:20jendriksetstatus: unread -> reviewing
messages:
  + msg6357


2017-05-08 10:29:53maltesettitle: option parser: further clean up -> option parser: further cleanup


2017-05-08 10:10:09silvansetnosy:
  + silvan


2017-05-07 20:28:49jendrikcreate