Small update to gdbinit and to the website
I decided to mess around with this blog template style sheets and use a better font and change some minor things. I added three new pages at the navigation bar – one with all available gdbinit files in this site, another for my GDB patches and a tag cloud (still have to tag old posts). I will also add a page with all source code published here. This small gdbinit update implements some fixes and a new command rint3 (check the file header for the changelog)....