add pipe character to #commenting select.

add option to #commenting select element for pipe character.
ozh · Apr 24, 2020 · 4e3a5f1 · 4e3a5f1
1 parent a143b95
commit 4e3a5f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.html b/index.html
@@ -109,6 +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>
 				</select>
 			</label>
           </div>