Logipedia icon indicating copy to clipboard operation
Logipedia copied to clipboard
verified publisher icon Deducteam

Redundant file

Open amelieled opened this issue 4 years ago • 0 comments

The files theories/hol/hol_sttfa.dk and interoperability/hol_sttfa/hol_sttfa.dk are very close. Is this just an impression? Can I delete one of them?

amelieled avatar Feb 22 '22 13:02 amelieled