Frama-C Bug Tracking System - Frama-C
View Issue Details
0001102Frama-CGraphical User Interfacepublic2012-02-21 14:532012-09-19 17:16
boris 
monate 
normaltweakN/A
closedfixed 
Frama-C Nitrogen-20111001 
Frama-C Oxygen-20120901 
0001102: Rename frama-c-gui.config
Rename frama-c-gui.config to .frama-c-gui.config so it it's hidden as all other config-files.
No tags attached.
Issue History
2012-02-21 14:53borisNew Issue
2012-02-21 14:53borisStatusnew => assigned
2012-02-21 14:53borisAssigned To => monate
2012-02-26 08:58monateNote Added: 0002735
2012-02-26 08:58monateStatusassigned => acknowledged
2012-02-28 13:43monateNote Added: 0002740
2012-02-28 13:43monateStatusacknowledged => resolved
2012-02-28 13:43monateFixed in Version => Frama-C Oxygen-2012xx01
2012-02-28 13:43monateResolutionopen => fixed
2012-09-19 17:16signolesStatusresolved => closed

Notes
(0002735)
monate   
2012-02-26 08:58   
Seems a reasonable request.
(0002740)
monate   
2012-02-28 13:43   
Renamed config file to .frama-c-gui.config