[runtime] Move 'pedump' to tools/pedump, build tools by default. (#3133)
[mono-project.git] / tools / 
tree116888015f08a42549081b6a033967432cbc00d3
drwxr-xr-x   ..
-rw-r--r-- 23 .gitignore
-rw-r--r-- 49 Makefile.am
drwxr-xr-x - checker
drwxr-xr-x - crash-bisector
drwxr-xr-x - locale-builder
drwxr-xr-x - monograph
drwxr-xr-x - offsets-tool
drwxr-xr-x - pedump
drwxr-xr-x - sgen