Skip to content

Commit

Permalink
Merge branch 'mr/remove_geometry' into 'master'
Browse files Browse the repository at this point in the history 
Remove GNATCOLL.Geometry

See merge request eng/toolchain/gnatcoll-core!78
  • Loading branch information
@Nikokrock
Nikokrock committed Feb 27, 2024
2 parents dc91923 + e8c282f commit ab5ef9e
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 1,266 deletions.
Loading

0 comments on commit ab5ef9e

Please sign in to comment.