Very nice!
On 2016-11-16 06:06, Hendrik Tews wrote:
> Hi,
>
> I opend a PR for comments with a first version of -quick support,
> see the quick branch on g...@github.com:hendriktews/PG.git. The
> solution has advantages over using make because the quick options
> accept an up-to-date .vo file for
Hi,
I opend a PR for comments with a first version of -quick support,
see the quick branch on g...@github.com:hendriktews/PG.git. The
solution has advantages over using make because the quick options
accept an up-to-date .vo file for prerequisites (make insists on
producing .vio files for all file
