Rename to "Reddit pipe"

ozh · Apr 24, 2020 · 7f80d50 · 7f80d50
1 parent ea61064
commit 7f80d50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -109,7 +109,7 @@ <h2>Input</h2>
 					<option value="exclamation">"! " Fortran 90</option>
 					<option value="slantsplat">"/* ... */ " CSS </option>
 					<option value="xml">"&lt;!-- ... --&gt;" XML</option>
-					<option value="pipe">"|" Pipe</option>
+					<option value="pipe">"|" Reddit pipe</option>
 				</select>
 			</label>
           </div>