diff options
| author | Erich Eckner <git@eckner.net> | 2018-11-22 09:45:13 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-11-22 09:45:13 +0100 |
| commit | 6e2480c673277a6a304e2ad64866dc11c1fb3eab (patch) | |
| tree | 058ff0911951df651f1a283ed75014997b8fe663 /misc | |
| parent | c559b4290e4e3ab106cf80b14ce1ff011b51478d (diff) | |
| download | builder-6e2480c673277a6a304e2ad64866dc11c1fb3eab.tar.xz | |
lib/mysql-functions: mysql_retrieve_static_information(): extract current git head revisions, too
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions