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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      theme/                  2018-03-26 00:45    -   
      slide_config.js         2016-01-15 00:51  1.4K  
      serve.sh                1980-11-30 03:00  364   
      scripts/                2017-11-12 15:28    -   
      js/                     2017-11-12 15:28    -   
      images/                 2019-10-16 23:06    -   
      config.rb               1980-11-30 03:00  867   
      app.yaml                1980-11-30 03:00  345   
      README.md               1980-11-30 03:00  4.0K  
      README.html             1980-11-30 03:00  4.5K  
      11select-1.pdf          2023-04-19 22:36  641K  
      11select-1.html         2023-04-19 22:35   58K  
      .gitignore              1980-11-30 02:00  447   
      .DS_Store               2023-04-19 22:36  6.0K