diff options
| author | Pierre-Marie Pédrot | 2018-10-11 15:15:38 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-15 22:55:07 +0200 |
| commit | 7f39d17e7c1d7655be595ccbe741a15ba780b785 (patch) | |
| tree | 039a1a673d8253e0450ad6ad75716fd021125a70 /dev | |
| parent | 6b5b4db599333546334bcdbd852be72ddb39d9dc (diff) | |
Providing a centralized API for ARGUMENT EXTEND.
We chose to stick to the most general possible API, even though the macro
will not make full use of the possibilities. It makes explicit the various
data expected to be provided in an orthogonal way.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions