annotate doc/html_extra/images/edit.png @ 7871:30fcdf60da44

test: fix benchmark.py and set up to run under github if requested Add the word "benchmark" to the comment to get the benchmarking code to run.
author John Rouillard <rouilj@ieee.org>
date Wed, 10 Apr 2024 00:14:58 -0400
parents 29caa12e4fd9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4953
29caa12e4fd9 doc: Fix broken logo images in original_overview.html extra doc
anatoly techtonik <techtonik@gmail.com>
parents: 108
diff changeset
1 (binary:image/png)

Roundup Issue Tracker: http://roundup-tracker.org/