diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2022-08-14 17:52:01 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2022-08-14 17:58:00 +0300 |
commit | 360bf760bdf8dc04918e7962d6a2c3797989ae4b (patch) | |
tree | 32ec1246b9c8fb3aabf915285783e8e9b1cf99dc /etc/gnu-store.mount.in | |
parent | f9666e40d3d003b2c8d3f4f70d64069c1752704e (diff) |
gnu: pies: Remove pre-generated files.
* gnu/packages/admin.scm (pies)[source]: Add snippet to remove
pre-generated files.
[native-inputs]: Add bison, flex.
Diffstat (limited to 'etc/gnu-store.mount.in')
0 files changed, 0 insertions, 0 deletions