|
|
 |
Gimpel Software - Discussion Forum
We invite you to use this forum to communicate with other PC-lint and
FlexeLint users. You do not need to log in to post a message.
WARNING: Your email address will not be encrypted. We recommend that you
obfuscate it as protection from web crawlers.
To receive technical support directly from Gimpel Software, please follow
the guidelines at http://www.gimpel.com/html/support.htm
Gimpel Software - Discussion Forum
| |
| Subject: |
'restore_end' renamed to 'restore_at_end' in version 8.00v |
| Date: |
December 18, 2006
10:04:34 AM
|
| Name: |
Johan Bezem |
| Email: |
j.bezem@computer.org |
| Message: |
Just FYI:
In version 8.00v the undocumented and unsupported
option '+restore_end' (8.00u only) seems to have
been renamed to '+restore_at_end'.
If you don't know about this option yet,
disregard this message, or search the forum
for 'restore_end' for some clarification.
FWIW,
Johan Bezem
www.bezem.de
|
|
PC-lint Version 9.0
Previous Message
Next Message
