aefa8af60e
When the user runs the same command as the last one saved there is no need to save it again, otherwise we the history might end up having lots of dupes which makes searching for an old command harder. https://bugzilla.gnome.org/show_bug.cgi?id=613731 |
||
---|---|---|
.. | ||
misc | ||
ui | ||
Makefile.am |