| commit | 51b142159423298b9ed756fd2b913f89ae4b94a9 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Mon Mar 24 15:34:39 2025 -0600 |
| committer | Tom Tromey <tom@tromey.com> | Tue Apr 01 07:30:10 2025 -0600 |
| tree | 8769e0a2b3a6f74444125407eb053637c4a42001 | |
| parent | 5703a5019ca9cbd5e389f1915c00adc0c9dcafed [diff] |
Move cooked_index_worker to cooked-index-worker.[ch] This moves the cooked_index_worker class to cooked-index-worker.[ch]. Approved-By: Simon Marchi <simon.marchi@efficios.com>