Public Git Hosting - notion.git/tree - utils/profiling/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[notion.git] / utils / profiling /

tree	a930e5cf88fb5fc89a1f6c3bbe0c9cd2bcf87c1f

drwxr-xr-x		..
-rw-r--r--	2989	README	blob \| blame \| history \| raw
-rwxr-xr-x	918	addr2line.pl	blob \| blame \| history \| raw
-rwxr-xr-x	727	addtailcalls.pl	blob \| blame \| history \| raw
-rwxr-xr-x	231	filterinternal.pl	blob \| blame \| history \| raw
-rwxr-xr-x	400	indent.pl	blob \| blame \| history \| raw
-rwxr-xr-x	2734	prof2callgrind.pl	blob \| blame \| history \| raw

Notion is a tiling, tabbed window manager for the X window system