mirror of
https://github.com/ankitects/anki.git
synced 2025-09-19 22:42:25 -04:00
![]() So, this is fun. Apparently "DeckId" is considered preferable to the "DeckID" were were using until now, and the latest clippy will start warning about it. We could of course disable the warning, but probably better to bite the bullet and switch to the naming that's generally considered best. |
||
---|---|---|
.. | ||
mod.rs | ||
undo.rs |