docs:tips_n_tricks:x11.html
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
docs:tips_n_tricks:x11.html [16.05.2010 23:52 CEST] – peter | docs:tips_n_tricks:x11.html [21.02.2011 18:07 CET] – peter | ||
---|---|---|---|
Line 15: | Line 15: | ||
exit $? | exit $? | ||
+ | see also [[: |
docs/tips_n_tricks/x11.html.txt · Last modified: 08.01.2020 14:23 CET by peter