* Mark an entry as deleted. * * We will eventually need to crunch the file down, but if several files * are being removed (perhaps as part of an "update" process) we can make * things considerably faster by deferring the removal to "flush" time. */
source not stored for this graph (policy: none)
no test coverage detected