Add support for specifying maxHeartbeats #335

Open

NicolasRouquette

opened

As it says here:

doc-gen4/DocGen4/Load.lean

Lines 29 to 30 in 1e4a5c3

    
           -- TODO: parameterize maxHeartbeats 
        
           maxHeartbeats := 100000000,

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests