@kugel- pushed 3 commits.

2ed4fc9 Remove pref "Use project-based session files", now always enabled
a7647cd Change main_status.opening_session_files to a counter
27982f3 Disconnect default session and project session files

—
View it on GitHub or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.