Pipe: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

8 June 2023

15 May 2013

  • curprev 06:0006:00, 15 May 2013RenzoCarbonara talk contribs 19 bytes +19 Pipe moved to Pipes over redirect: The Discussion page argues in detail why the name “Pipes” is preferred to “Pipe”, but in short, the library ecosystem which this page talks about better identifies itself with the name “Pipes”, and no