Index of /~jrg/.snapshot/daily.2026-10-15_0010/115/lectures/15select-5

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      theme/                  2022-01-22 13:34    -   
      slide_config.js         2016-01-21 21:22  1.4K  
      serve.sh                2016-01-21 21:22  364   
      scripts/                2022-01-22 13:34    -   
      js/                     2017-11-12 15:28    -   
      images/                 2022-01-22 13:34    -   
      config.rb               2016-01-21 21:22  867   
      app.yaml                2016-01-21 21:22  345   
      README.md               2016-01-21 21:22  4.0K  
      README.html             2016-01-21 21:22  4.5K  
      15select-5.pdf          2023-01-21 19:48  777K  
      15select-5.html         2023-01-21 19:47   49K  
      .gitignore              2016-01-21 21:22  447   
      .DS_Store               2023-01-21 19:47  6.0K