User's guide: delete ancient "Core syntax" example
authorThomas Miedema <thomasmiedema@gmail.com>
Fri, 31 Jul 2015 15:15:10 +0000 (17:15 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Fri, 31 Jul 2015 15:15:10 +0000 (17:15 +0200)
commita66e1ba60d9be67dda2a57a71bde96bc6f8dc5f0
treed1d3dff85caa1d79aa60cfe305e9dcb46e80779d
parenta442800fd27952bff9bf9773f514ee062f4b55d0
User's guide: delete ancient "Core syntax" example
docs/users_guide/debugging.xml