edg-l/ddnet
1
0
Fork 0
mirror of https://github.com/ddnet/ddnet.git synced 2024-11-19 06:28:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8100 from furo321/new-formatting-rev

Browse source 
Add #8019 to `formatting-revs.txt`
This commit is contained in:
Dennis Felsing 2024-03-14 16:35:34 +00:00 committed by GitHub
parent 681b66b563 1561db66c0
commit 38a4c918cd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
formatting-revs.txt
View file

@ -11,3 +11,4 @@ d4da82f977abb34cd0ed9a77e707b4c42f26673d
3be8a592e52a03e555b6aa29a8dea529797bb645
01edaec628ec325d47d74a667ccaa2aed43f30c9
a69dc599a99ef7393985e96a98c80f8217f66998
17402cc43fdf51c8cb81b724228f11c423d17007