Merge pull request #1865 from ucb-bar/bump-cde-diplo

Bump CDE/diplomacy to fix messy .gitignores
ucb-bar · Apr 30, 2024 · b635889 · b635889
2 parents 0a76d61 + 5c6ff70
commit b635889
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/generators/diplomacy b/generators/diplomacy
diff --git a/tools/cde b/tools/cde