Julian Scharrenbach
|
1f23129406
|
correcting some comments
|
2018-12-06 10:15:10 +01:00 |
|
Julian Scharrenbach
|
d693610b79
|
miscellaneous modifications
|
2018-12-05 15:47:34 +01:00 |
|
Julian Scharrenbach
|
d7251d1be5
|
aufgeräumt -> alten pico-stuff rausgenommen
|
2018-07-16 11:14:42 +02:00 |
|
|
|
4a5d220f6f
|
added svim alias
|
2018-04-11 11:53:42 +02:00 |
|
|
|
7d245576a2
|
added sudei-alias
|
2018-04-10 08:56:28 +02:00 |
|
julian
|
3574e2e515
|
minor changes
|
2017-12-05 20:56:54 +01:00 |
|
Julian Scharrenbach
|
d54f5cebe5
|
adding the dotfiles
|
2017-12-05 08:18:37 +01:00 |
|