diff options
| author | Joris | 2022-02-06 19:30:53 +0100 |
|---|---|---|
| committer | Joris | 2022-02-06 19:30:53 +0100 |
| commit | 20cfe717065fa53953e9799036a9972880fec801 (patch) | |
| tree | 7fc2a7b4a43eb6d280d52c468927592c12798cb0 /src/gui/gui.rs | |
| parent | dc0f32017cceabb6c683b6e1b4a2ae0248c37dbf (diff) | |
Replace a card whenever the front or the back changed
Diffstat (limited to 'src/gui/gui.rs')
0 files changed, 0 insertions, 0 deletions