diff options
| author | Giovanni | 2022-08-27 20:41:39 +0200 |
|---|---|---|
| committer | GitHub | 2022-08-27 20:41:39 +0200 |
| commit | 9aa4fa328f3cae22ac0dd347d28dc26799fe495e (patch) | |
| tree | 9c8ea48c5c37ec5991eecf1412fd9ccbe948edb0 /src/tests/disable_function/config/config_disabled_user_functions.ini | |
| parent | 8b73852b8b863e7dcbe78cb4744f5a3c7a157025 (diff) | |
Build releases also on master and updated the release steps (#434)
Diffstat (limited to 'src/tests/disable_function/config/config_disabled_user_functions.ini')
0 files changed, 0 insertions, 0 deletions