Eragon 7aa93f15ea editor: Count lines for numbered list		2023-06-06 21:00:59 +02:00
..
emoji-picker-element	editor: Self-host the emoji-picker custom element.	2023-05-17 09:56:22 +02:00
contact.js	Django est mort, vive Flask !	2018-02-23 23:34:06 +01:00
editor.js	editor: Count lines for numbered list	2023-06-06 21:00:59 +02:00
entropy.js	Added more french special chars to list	2023-05-15 15:17:03 +02:00
filter.js	editor: Add input type button to fix HTML problems	2022-12-14 11:22:11 +01:00
gallery.js	gallery: second prototype, evolving into a beta	2022-04-26 01:38:33 +02:00
pc-utils.js	editor: Add input type button to fix HTML problems	2022-12-14 11:22:11 +01:00
smartphone_patch.js	editor: Add input type button to fix HTML problems	2022-12-14 11:22:11 +01:00
tag_selector.js	programs: add tag input and display (#114)	2022-06-14 23:19:41 +01:00
trigger_menu.js	scripts: Fix variable declaration	2023-05-16 23:09:30 +02:00