lyx0 96eedbe293 add command category in database and add an command to add the category from		2022-08-15 00:53:41 +02:00
..
data	add command category in database and add an command to add the category from	2022-08-15 00:53:41 +02:00