Skip to content
  • Ansgar Burchardt's avatar
    Remove `tools/*` · 17d1bc3a
    Ansgar Burchardt authored
    The tools provide either utilities to convert different grid formats or
    allow visualizing UG's metafiles. Either is no longer needed.
    17d1bc3a