Difference between revisions of "Home"
Jump to navigation
Jump to search
m (→How to's) |
|||
Line 12: | Line 12: | ||
*[[Print a poster]] | *[[Print a poster]] | ||
*[[Vacation|Take a vacation]] | *[[Vacation|Take a vacation]] | ||
== Organisational Stuff == | == Organisational Stuff == |
Revision as of 14:44, 23 August 2023
MediaWiki has been installed.
Consult the User's Guide for information on using the wiki software.
How to's
- Generate SSH Keys
- Copy files via ssh
- Find out when lectures are in our seminar room
- Change the water filter of the coffee machine
- Prepare a manuscript for Ralf
- Print a poster
- Take a vacation