diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-23 00:23:35 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-08-23 00:23:35 +0200 |
commit | c651b7bdc996a18688c5e5dd5dd84eeeb8d3376d (patch) | |
tree | 3a7be4061846db3205ad9ec97816cc643830c4ab /doc/manual/command-ref/conf-file.xml | |
parent | 1b01954a3de482a8c3cf0a4af8796505ebcf521b (diff) |
Revert "Fix parser/lexer generation with parallel make"
This reverts commit d277442df53a01343ba7c1df0bbd2a294058dcba.
Make sucks.
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
0 files changed, 0 insertions, 0 deletions