Skip to main content

Browse the archive

Revision ab3873a242a01227bc50cccdfceb486f688ad797 authored by Mohamed Barakat on 06 September 2022, 13:31:34 UTC, committed by GitHub on 06 September 2022, 13:31:34 UTC 
Merge pull request #517 from zickgraf/tabs
 
Test for tabs in more packages
2 parent s c82b6f7 + 6527181
Raw File
TODO 
- rings should update their table once more macros are available
- cache in some sense the results of DecideZeroRows/Columns
back to top