]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5673c64) | patch
Enhancements and fixes for print_pi in gdbinit
authorMitch Hagstrand <mhagstrand@gmail.com>
Fri, 9 Feb 2018 17:30:45 +0000 (11:30 -0600)
committerNikita Popov <nikita.ppv@gmail.com>
Sat, 10 Feb 2018 18:18:39 +0000 (19:18 +0100)
commit01f7998db0ddf620233dbfe35d3344758876d78d
tree370d4b292ff930d878268dd31e288c160a28d20ftree | snapshot
parent5673c641dc30610e7e2fcca2e9b61761e4608ffccommit | diff
Enhancements and fixes for print_pi in gdbinit

1) Outputs the default value and the offset of a property
2) Fixed output of property flags
.gdbinit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.