diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2021-05-06 00:22:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-06 13:22:24 +0900 |
| commit | a9c58d5e51d5d7060abdd6d6b3de12e98e960ef6 (patch) | |
| tree | a6ad3e8ea99ddc4876f2c37d8ea453362ec92819 /third_party | |
| parent | 4f5b4f9cee66169728c909f5e53a1f8a6a326f6d (diff) | |
chore: upgrade dprint 0.13.1 to fix CI. (#10513)
Diffstat (limited to 'third_party')
| m--------- | third_party | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/third_party b/third_party -Subproject 72f5f1a9fa3274ed9de313a752bbfe3afa7d39d +Subproject 3bd4e3652304eb97177e1fc217943529322f468 |