diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-22 01:15:23 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-22 01:17:28 +0100 |
| commit | 2369d107e245400ff07218d29b14593b559dca20 (patch) | |
| tree | b1ea87db8f9bd41a7c1a02fd8a708485734608d9 /Makefile | |
| parent | 951a3d03869a4ae639abeee5547ae32d845a2d3e (diff) | |
| download | sparse-dev-2369d107e245400ff07218d29b14593b559dca20.tar.gz | |
as-name: document that identifiers are OK for address spaces
A previous series allowed to used an indentifier to denotate an
address space but this wasn't documented.
Document it now in the manpage.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions