8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Various fixes related to shortcuts
Bump version number in prep for release
Update version number for release
Fix gnunn1#33, side-effect of re-numbering terminals
Fix gnunn1#122
Bump version number for release
Added icon to about dialog
Remove unnecessary local options, add credit
Fix loading of sessions
Merge pull request gnunn1#77 from frnogueira/master Translation pt_BR updated