Select Git revision
user_settings.js
-
Rob Swindell authored
As much as possible, ENTER should mean "no change".
Rob Swindell authoredAs much as possible, ENTER should mean "no change".
As much as possible, ENTER should mean "no change".
As much as possible, ENTER should mean "no change".