#28, if a file is deleted, wait a 0.25s grace period, to see if the file comes back (e.g. with VIM)
#28, if a file is deleted, wait a 0.25s grace period, to see if the file comes back (e.g. with VIM)

ndmitchell/ghcid