diff options
author | dan sinclair <dsinclair@chromium.org> | 2017-02-01 09:46:52 -0800 |
---|---|---|
committer | Chromium commit bot <commit-bot@chromium.org> | 2017-02-01 23:38:58 +0000 |
commit | 5c19c3597b2865c0b5bc2c61fc5911cbd5d6ba90 (patch) | |
tree | 888dbbf67f23cfe17f36f25f2e941821cd3f0117 /docs | |
parent | 1f5e327bc8a4114b5c390b89ac94ee320d1d06de (diff) | |
download | pdfium-5c19c3597b2865c0b5bc2c61fc5911cbd5d6ba90.tar.xz |
Remove DrMemorychromium/3000
The DrMemory bots have been removed, remove the config and infrastructure.
BUG=chromium:655521
Change-Id: I065d717b11d615a6dc981b79a8caefd8783b105b
Reviewed-on: https://pdfium-review.googlesource.com/2494
Reviewed-by: Tom Sepez <tsepez@chromium.org>
Commit-Queue: dsinclair <dsinclair@chromium.org>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions