diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-12 18:27:04 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-12 20:02:13 +0200 |
| commit | 888ecf989a4c2d17cf0115029f9f36ca99f67d53 (patch) | |
| tree | cf7234ff4b83796d59e384978e505e326793d9f0 /live/config/chroot_local-includes/usr | |
| parent | 9ce920843b768b6e53c4e80aeacc7e7827c64f41 (diff) | |
| download | jenkins.debian.net-888ecf989a4c2d17cf0115029f9f36ca99f67d53.tar.xz | |
reprducible: scheduler: rename scheduler_*() functions to query_*()
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions