# HG changeset patch
# User HackBot
# Date 1456293978 0
# Node ID 5d30f3d77d3a6d724901bd2377de959644c55d92
# Parent  c5923998fa78a1db2ae5ecdc72250a9eb47e902e
<shachaf> le/rn cat elimination/cat elimination is the process of replacing a one-argument `cat` command with the shell operator <

diff -r c5923998fa78 -r 5d30f3d77d3a wisdom/cat elimination
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/cat elimination	Wed Feb 24 06:06:18 2016 +0000
@@ -0,0 +1,1 @@
+cat elimination is the process of replacing a one-argument `cat` command with the shell operator <