This repository has been archived on 2022-02-17. You can view files and clone it, but cannot push or open issues or pull requests.
2008-11-01 21:10:07 +00:00
|
|
|
/\/\*\*\* DOCUMENTATION/ {printit=1; next}
|
|
|
|
/\*\*\*\// {if (printit) exit}
|
2009-10-28 20:50:52 +00:00
|
|
|
{if (printit) print}
|