diff options
Diffstat (limited to 'rts/.gitignore')
-rw-r--r-- | rts/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/.gitignore b/rts/.gitignore index 662c3c974c..657baa7c17 100644 --- a/rts/.gitignore +++ b/rts/.gitignore @@ -18,6 +18,7 @@ /config.status /configure +/external-symbols.list /ghcautoconf.h.autoconf.in /ghcautoconf.h.autoconf /include/ghcautoconf.h |