252dce1ec2
The shell was crashing for me - these fixes from Debarshi seem to fix it. |
||
---|---|---|
.. | ||
config.js.in | ||
extensionUtils.js | ||
fileUtils.js | ||
gnomeSession.js | ||
history.js | ||
ibusManager.js | ||
jsParse.js | ||
keyboardManager.js | ||
loginManager.js | ||
modemManager.js | ||
objectManager.js | ||
params.js | ||
smartcardManager.js | ||
util.js | ||
weather.js |