Skip to content
Snippets Groups Projects
Select Git revision
  • 0a3ac07ec79acf580ccf3c6188f25cde2f77bbe5
  • wip-bootstrap default
  • dualcore
  • ch3/leds
  • ch3/time
  • master
6 results

extmod

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Damien George authored
    For example, if the current directory is the root dir then this patch
    allows one to do uos.listdir('mnt'), where 'mnt' is a valid mount point.
    Previous to this patch such a thing would not work, on needed to do
    uos.listdir('/mnt') instead.
    0a3ac07e
    History