Skip to content

Commit

Permalink
Merge branch 'sync/mr/pmderodat/annotations' into 'master'
Browse files Browse the repository at this point in the history 
Update after the removal of the (ignore_)warn_on_node annotations

See merge request eng/libadalang/libadalang!1671
  • Loading branch information
@pmderodat
pmderodat committed Jun 19, 2024
2 parents 3e54fde + d1e32b4 commit 0ae5a8e
Showing 1 changed file with 69 additions and 97 deletions.
Loading

0 comments on commit 0ae5a8e

Please sign in to comment.