mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Rename "namedtype" to "definedtype" in stats file
This commit is contained in:
@@ -681,7 +681,7 @@
|
||||
<v>101202</v>
|
||||
</e>
|
||||
<e>
|
||||
<k>@namedtype</k>
|
||||
<k>@definedtype</k>
|
||||
<v>12852686</v>
|
||||
</e>
|
||||
<e>
|
||||
|
||||
Reference in New Issue
Block a user