mirror of https://github.com/ecmwf/eccodes.git
Clean up: Remove obsolete directory
This commit is contained in:
parent
5a87673322
commit
9540950076