Skip to content
Snippets Groups Projects
Select Git revision
  • 20a32ab9705c8ce1df18343b6e9662e752cdef06
  • master default protected
  • devel
  • adaptive_step_size
4 results

scrnplt.go

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    clean_index_dirs.sh 53 B
    sudo rm index/*
    sudo rm slides/*
    sudo rm img_cache/*