diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2017-04-05 09:31:37 +0000 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-17 18:36:13 +0200 |
| commit | ec4c28f18759d85821177dd86efe59c2cd7a30b1 (patch) | |
| tree | 5dbcff853ca8cba057352645ccf142140a092db2 /frontends/blif/blifparse.cc | |
| parent | 512952aa0f55484fc81136170083e2b7abbe9aff (diff) | |
Disable pretty build
Gbp-Pq: Name 0007-Disable-pretty-build.patch
Diffstat (limited to 'frontends/blif/blifparse.cc')
0 files changed, 0 insertions, 0 deletions