diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-07-02 01:14:53 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-07-02 01:14:53 (EDT) |
| commit | 4378ec1d4c04958546f6452c08c660a530297f0e (patch) | |
| tree | b0d700ff104f312cbc4c9bd33a31d5a0ccead269 /platconf | |
| parent | f5c0de103d288beb8d4ae4c38ac6cc9acce82e0c (diff) | |
control: B-D on bison and flex
Diffstat (limited to 'platconf')
| -rw-r--r-- | platconf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/platconf b/platconf deleted file mode 100644 index b00c9df..0000000 --- a/platconf +++ /dev/null @@ -1,2 +0,0 @@ -config src/.config -image image |