Subversion Repositories wimsdev

Last modification

• Rev 11601 2017-06-03 16:28:12
• Author: bpr

• Log message:

  [search_engine] in case of session_tool, only tools should be proposed