On Mon, 7 Sep 2009, Michael J Gruber wrote:
Solution needs to be:
- practical (short, clear)
- not too brutal (on existing users of legal "exotic" refnames)
- extensible (for later uses)
How about '/^' and 'ref/^'? Since you can't create a ref ending / ...
--
Julian
---
When you ask a question, do you truly want to know the answer, or are you
merely flaunting your power?
-- DMITRI HARKONNEN, Notes to My Sons