Revision 988556d3cb02429c1af91373f3a357bf8461eda5 authored by Mohamed Barakat on 15 March 2022, 14:08:59 UTC, committed by GitHub on 15 March 2022, 14:08:59 UTC
don't issue a warning if `utils` is not loaded
| File | Mode | Size |
|---|---|---|
| arrow-down.png | -rw-r--r-- | 423 bytes |
| bg_hr.png | -rw-r--r-- | 78 bytes |
| blacktocat.png | -rw-r--r-- | 463 bytes |
| homalg-project.pdf | -rw-r--r-- | 268.1 KB |
| homalgcap.png | -rw-r--r-- | 915.7 KB |
| homalgcap_black.png | -rw-r--r-- | 971.4 KB |
| homalgcap_border.png | -rw-r--r-- | 944.9 KB |
| icon_download.png | -rw-r--r-- | 216 bytes |
| logo.png | -rw-r--r-- | 4.2 KB |
| octocat-small.png | -rw-r--r-- | 570 bytes |
| sprite_download.png | -rw-r--r-- | 14.5 KB |
| thumb.png | -rw-r--r-- | 35.1 KB |
Computing file changes ...
