bug-gawk
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[bug-gawk] Manual typo?
From
:
Panos Papadopoulos
Subject
:
[bug-gawk] Manual typo?
Date
:
Sun, 7 Jan 2018 13:10:34 +0200
ext_id is a pointer to awk_ext_id_t or just of type awk_ext_id_t?
Please have a look in these two screenshots from the user guide:
--
Panos I. Papadopoulos
Thessaloniki
GREECE
reply via email to
[Prev in Thread]
Current Thread
[
Next in Thread
]
[bug-gawk] Manual typo?
,
Panos Papadopoulos
<=
Re: [bug-gawk] awk_ext_id_t inconsistency
,
Andrew J. Schorr
,
2018/01/07
Re: [bug-gawk] awk_ext_id_t inconsistency
,
Arnold Robbins
,
2018/01/11
Re: [bug-gawk] awk_ext_id_t inconsistency
,
Andrew J. Schorr
,
2018/01/11
Message not available
Re: [bug-gawk] awk_ext_id_t inconsistency
,
Andrew J. Schorr
,
2018/01/11
Re: [bug-gawk] awk_ext_id_t inconsistency
,
arnold
,
2018/01/12
Prev by Date:
Re: [bug-gawk] _ function (gettext) broken in gawk 4.2.0
Next by Date:
Re: [bug-gawk] _ function (gettext) broken in gawk 4.2.0
Previous by thread:
[bug-gawk] _ function (gettext) broken in gawk 4.2.0
Next by thread:
Re: [bug-gawk] awk_ext_id_t inconsistency
Index(es):
Date
Thread