[lively-kernel] On ubuntu 12.04

[mozillanerd mozillanerd]

I am unable to use Ctrl-s or Ctrl-d
What alternative do I have
_______________________________________________
lively-kernel mailing list
lively-kernel@hpi.uni-potsdam.de
http://lists.hpi.uni-potsdam.de/listinfo/lively-kernel