Removed ple prefix to the user query in topmenu
[unfold.git] / to-be-integrated / plugins / code_editor /
drwxr-xr-x   ..
-rw-r--r-- 720 __init__.py
drwxr-xr-x - static
drwxr-xr-x - templates