diff options
| author | Kae <80987908+Novaenia@users.noreply.github.com> | 2023-08-31 03:14:48 +1000 |
|---|---|---|
| committer | Kae <80987908+Novaenia@users.noreply.github.com> | 2023-08-31 03:14:48 +1000 |
| commit | 182d3052c5da17701b6407164a6505b8aeafa867 (patch) | |
| tree | cab0cfbb55e9ba4662c80ec591927cbaa5eff553 /source/frontend/StarMainInterface.cpp | |
| parent | 6f7f3800d3bf5dfca3bd05eb2636b4c3c5639100 (diff) | |
operator== for Directives, skips reparse if equal
Diffstat (limited to 'source/frontend/StarMainInterface.cpp')
0 files changed, 0 insertions, 0 deletions