diff options
| author | jvoisin | 2018-07-13 18:43:43 +0200 |
|---|---|---|
| committer | jvoisin | 2018-07-13 18:50:35 +0200 |
| commit | 99f9ecae9a5edf5d36f5de62ccf60f9d9146057a (patch) | |
| tree | 3c7d607e8325b68da9792a42ad875d0f1a5f69d2 /src/sp_execute.c | |
| parent | 9e26ebb1c509f44d09f60e7569f0e9e2966026c1 (diff) | |
Improve a bit the release process
Diffstat (limited to 'src/sp_execute.c')
0 files changed, 0 insertions, 0 deletions