From 02055847495de470bb12a022b47db19295bb52cc Mon Sep 17 00:00:00 2001
From: Philipp Baumann <philipp.baumann@usys.ethz.ch>
Date: Sun, 5 Apr 2020 18:21:58 +0200
Subject: [PATCH] Compile manual for pipe operator

---
 man/pipe.Rd | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 man/pipe.Rd

diff --git a/man/pipe.Rd b/man/pipe.Rd
new file mode 100644
index 0000000..0eec752
--- /dev/null
+++ b/man/pipe.Rd
@@ -0,0 +1,12 @@
+% Generated by roxygen2: do not edit by hand
+% Please edit documentation in R/utils-pipe.R
+\name{\%>\%}
+\alias{\%>\%}
+\title{Pipe operator}
+\usage{
+lhs \%>\% rhs
+}
+\description{
+See \code{magrittr::\link[magrittr:pipe]{\%>\%}} for details.
+}
+\keyword{internal}