Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
public:bash_tips [2009/04/07 10:38] – created Nico | public:bash_tips [2011/08/06 17:08] – [History] Nico | ||
---|---|---|---|
Line 79: | Line 79: | ||
Shortcuts can be customized using / | Shortcuts can be customized using / | ||
- | | + | < |
- | " | + | " |
+ | " | ||
+ | </ | ||
+ | |||
===== Completion ===== | ===== Completion ===== | ||