Revision b134331f84aeaed5ea4c8f1cea5a7a760128385c authored by Mohamed Barakat on 11 March 2022, 08:23:45 UTC, committed by GitHub on 11 March 2022, 08:23:45 UTC
Apply PackageJanitor
| File | Mode | Size |
|---|---|---|
| GradedModules.xml | -rw-r--r-- | 2.0 KB |
| GradedModulesForHomalg.bib | -rw-r--r-- | 5.5 KB |
| GradedModulesForHomalg.xml | -rw-r--r-- | 2.7 KB |
| QuickStart.xml | -rw-r--r-- | 367 bytes |
| RingMaps.xml | -rw-r--r-- | 694 bytes |
| Tate.xml | -rw-r--r-- | 513 bytes |
| appendix.xml | -rw-r--r-- | 338 bytes |
| clean | -rwxr-xr-x | 98 bytes |
| examples.xml | -rw-r--r-- | 943 bytes |
| install.xml | -rw-r--r-- | 1007 bytes |
| intro.xml | -rw-r--r-- | 408 bytes |
| title.xml | -rw-r--r-- | 2.9 KB |
Computing file changes ...
