Pipe

Eintrag zuletzt aktualisiert am: 18.07.2017

Als "Pipe" wird das Sonderzeichen "|" gelesen, das beim Pipelining eingesetzt wird.