mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
Remove some UTF-8 characters that snuck into a few strings.
This commit is contained in:
parent
81d6b4c645
commit
51f20136d5
2 changed files with 11 additions and 11 deletions
|
@ -65,7 +65,7 @@ export {
|
|||
[9] = "WINDOWS_CE_GUI",
|
||||
[10] = "EFI_APPLICATION",
|
||||
[11] = "EFI_BOOT_SERVICE_DRIVER",
|
||||
[12] = "EFI_RUNTIME_
DRIVER",
|
||||
[12] = "EFI_RUNTIME_DRIVER",
|
||||
[13] = "EFI_ROM",
|
||||
[14] = "XBOX"
|
||||
} &default=function(i: count):string { return fmt("unknown-%d", i); };
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue