Jacob314/max old space (#1314)

This commit is contained in:
Jacob Richman 2025-06-24 21:18:55 +00:00 committed by GitHub
parent a411c415a8
commit 75ed7aaa06
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 83 additions and 6 deletions

View file

@ -53,6 +53,7 @@ export interface Settings {
preferredEditor?: string;
bugCommand?: BugCommandSettings;
checkpointing?: CheckpointingSettings;
autoConfigureMaxOldSpaceSize?: boolean;
// Git-aware file filtering settings
fileFiltering?: {