You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Zsailer 45a7616075 bug fix: remove double encoding in download files		5 years ago
..
kernellist.js	Fixed semicolon	6 years ago
main.js	Fix typos (#4760)	7 years ago
newnotebook.js	made the numbering of certain menus dymanic	7 years ago
notebooklist.js	bug fix: remove double encoding in download files	5 years ago
sessionlist.js	Resolving Conflicts	9 years ago
shutdownbutton.js	Allow translation of shutdown dialog	8 years ago
terminallist.js	Prevent default event handling on new terminal	8 years ago