mirror of https://github.com/01-edu/public.git
Browse Source
- substitute $ with <sup> tag to be compatible with the platform - run prettierpull/1718/head
nprimo
2 years ago
committed by
Niccolò Primo
1 changed files with 2 additions and 4 deletions
Loading…
Reference in new issue