Project

General

Profile

« Previous | Next » 

Revision 73f97c9f

Added by skyjake almost 12 years ago

Shell: Command history in the command line widget

Bash-like, editable command history.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences