functions: fix add_profiling documentation (simplify, focus on what it does) 16/12716/2
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab