Skip to content

Commit 5dac197

Browse files
committed
Delete dead cbits
Usage was removed in #1778.
1 parent c126332 commit 5dac197

File tree

1 file changed

+0
-21
lines changed

1 file changed

+0
-21
lines changed

ghcide/cbits/getmodtime.c

Lines changed: 0 additions & 21 deletions
This file was deleted.

0 commit comments

Comments
 (0)