Index of /~/jrg/.snapshot/daily.2026-10-20_0010/115/lectures/13select-3

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      theme/                  2017-11-12 15:28    -   
      slide_config.js         2016-01-20 22:03  1.4K  
      serve.sh                2016-01-20 22:03  364   
      scripts/                2017-11-12 15:28    -   
      js/                     2017-11-12 15:28    -   
      images/                 2019-11-14 20:34    -   
      config.rb               2016-01-20 22:03  867   
      app.yaml                2016-01-20 22:03  345   
      README.md               2016-01-20 22:03  4.0K  
      README.html             2016-01-20 22:03  4.5K  
      13select-3.pdf          2023-05-18 22:36  1.2M  
      13select-3.html         2023-05-18 22:34   74K  
      .gitignore              2016-01-20 22:03  447   
      .DS_Store               2023-05-18 22:36  6.0K