.hg/store/data/midifdetras.m.i exists but where is the file

[Dr Rainer Woitok]

Uwe,

On Tuesday, 2021-02-09 17:16:17 +0100, you wrote:

> ...
> So I try 
> 
>  hg manifest | grep midifdetras
> 
> But nothing 

Use "hg manifest --all".   Otherwise you'll  only list files  present in
the CURRENT check-out, but not meanwhile deleted files.

Sincerely,
  Rainer