diff options
| author | Kazuhiko Sakaguchi | 2020-09-10 08:16:56 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-09-17 18:30:03 +0900 |
| commit | 15e57ba36d2b0b96da80679f01c5915137b9ea77 (patch) | |
| tree | b9ddd5062f9a7fa2ca50d14541136a4b59f2c75c /mathcomp/Makefile.common | |
| parent | 98315a4e30f746bc01891992ed53559d1a50e863 (diff) | |
Fix big meet and join notations for dual_display, and add `0^d` and `1^d` notations
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions