User documentation for pattern synonyms

Authored by cactus on Jan 25 2014, 10:10 PM.

Description

User documentation for pattern synonyms

Details

Committed
cactusJan 25 2014, 10:10 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFe01367ff8c31: Some typos in comments
Branches
Unknown
Tags
Unknown