Romain Rigaux 7f3b2d32d6 [shell] Can copy/paste shell output 13 years ago
..
shell 7f3b2d32d6 [shell] Can copy/paste shell output 13 years ago