mirror of
https://github.com/zeek/zeek.git
synced 2025-10-10 02:28:21 +00:00
Merge remote-tracking branch 'jsoref/spelling-src'
* jsoref/spelling-src: Spelling src
This commit is contained in:
commit
2739275b88
190 changed files with 439 additions and 433 deletions
|
@ -76,7 +76,7 @@ public:
|
|||
const std::string& id4) const;
|
||||
|
||||
// Returns the name to use in identifying one of the slots/integer
|
||||
// values (designated by "n"). "inst_num" identifes the instruction
|
||||
// values (designated by "n"). "inst_num" identifies the instruction
|
||||
// by its number within a larger set. "mappings" provides the
|
||||
// mappings used to translate raw slots to the corresponding
|
||||
// script variable(s).
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue