Commit 4340ea8

and

authored

Delete dead cbits (#3635)

Usage was removed in #1778. Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

1 parent 6887387 commit 4340ea8Copy full SHA for 4340ea8

1 file changed

+0

-21

lines changed

ghcide/cbits
- getmodtime.c

1 file changed

+0

-21

lines changed

`‎ghcide/cbits/getmodtime.c`

-21

This file was deleted.

Comments

(0)