Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> writes:
> @^
"@" itself is not reserved, even though "@{" is, so this is not an
option.
> @{^}
This _could_ work, although it is rather cryptic.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html