diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2021-11-05 01:30:11 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-05 10:12:52 -0400 |
| commit | d96ce59dc86799f0cf07da2ce5a55b189a50c130 (patch) | |
| tree | 34569c66bda0b8de7111d4580bfc62973244c44a /.gitignore | |
| parent | be3750a5a3cbc59a7b84f1f7603f308aee1cc80b (diff) | |
| download | haskell-d96ce59dc86799f0cf07da2ce5a55b189a50c130.tar.gz | |
make: Futher systematize handling of generated headers
This will make it easier to add and remove generated headers, as we will
do when we add a configure script for the RTS.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions