[Tickets] [Orxonox] #299: Export command history to a separate file

[Orxonox]

#299: Export command history to a separate file
------------------------------+---------------------------------------------
 Reporter:  rgrieder          |        Owner:  nobody                      
     Type:  task              |       Status:  new                         
 Priority:  low               |    Milestone:  Version 0.3 Codename: Castor
Component:  GeneralFramework  |      Version:  0.2.0                       
 Severity:  normal            |   Resolution:                              
 Keywords:                    |  
------------------------------+---------------------------------------------
Changes (by rgrieder):

  * summary:  Export command history to file => Export command history to a
              separate file

-- 
Ticket URL: <http://www.orxonox.net/ticket/299#comment:1>
Orxonox <http://www.orxonox.net>
Orxonox Open Source game