Skip to content

Commit

Permalink
Merge pull request #733 from OP-TED/update-manual-files
Browse files Browse the repository at this point in the history 
Update some files maintained manually, and remove 3 incorrect rules.
  • Loading branch information
@bertrand-lorentz
bertrand-lorentz authored Oct 23, 2023
2 parents 88d1dae + a6d4ea3 commit 7dd28c9
Show file tree
Hide file tree
Showing 5 changed files with 291 additions and 296 deletions.
Loading

0 comments on commit 7dd28c9

Please sign in to comment.