view wisdom/terminal symbol @ 7150:d82534943967

<b_jonas> `` echo $\'#!/bin/sh\\nexec git reset --hard HEAD^\\n\' > bin/revert
author HackBot
date Sun, 06 Mar 2016 23:05:43 +0000
parents e46141ebdd74
children
line wrap: on
line source

A terminal symbol is a terminal condition that makes your parser die eventually. Consult your linguist for medical advice.