Re: redundant files

[Lars Gullik Bjønnes]

Angus Leeming <[EMAIL PROTECTED]> writes:

| I think that 
| 
|  src/insets/insetloa.h
|  src/insets/insetlof.h
|  src/insets/insetlot.h
| 
| are now redundant and should be removed as the .C files already
| have.

I don't have them in my checkout.

        Lgb