| commit | 3fceb04ace9d412bca86cef9d44e91b6118f660a | [log] [tgz] |
|---|---|---|
| author | nicolaferraro <ni.ferraro@gmail.com> | Tue Aug 11 16:43:37 2020 +0200 |
| committer | Nicola Ferraro <ni.ferraro@gmail.com> | Thu Sep 17 11:09:08 2020 +0200 |
| tree | e7e5bbe92e3770a64632996cd62b5968063fa137 | |
| parent | 4bea9af710a7d05869e6c0e1baa660b62ad34bb4 [diff] |
Fix #1574: add property names in source specification