diff options
author | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-17 18:22:46 +0200 |
---|---|---|
committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-05-17 18:22:46 +0200 |
commit | 3d619a202a6fbcaaaf6a6540b06c5deb3a50a3be (patch) | |
tree | 3621fbed9e6e6fa42b0d30efd9cf70ddc903da1e /doc/makefile | |
parent | 6935cd05677544028e0d6baefc2e29933bf5fe8b (diff) |
let the Mark methods return if their marking was successful
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions