Skip to content
Snippets Groups Projects
Select Git revision
  • 89a23a05b3feb2f81fb00d272202b274c2a325cd
  • master default protected
2 results

extmod

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Damien George authored
    So that the timeout for machine.time_pulse_us() can be large.
    
    Fixes issue #2775.
    89a23a05
    History