diff options
| author | Pierre-Marie Pédrot | 2015-06-29 14:19:31 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-06-29 14:31:47 +0200 |
| commit | e39b5b8eaa89950216bca646b5e9ef9b56bea7be (patch) | |
| tree | f8e88691aba5721ce77b2e80baf4f7b7a9db59f9 /dev | |
| parent | 02663c526a3fd347fad803eb664d22e6b5c088ad (diff) | |
Code documentation of the TACTIC/VERNAC EXTEND macros.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions