| commit | 931b7612cea9b60632b7c8ea1cd417f081b2b11f | [log] [tgz] |
|---|---|---|
| author | nicolaferraro <ni.ferraro@gmail.com> | Thu Sep 17 10:27:07 2020 +0200 |
| committer | Nicola Ferraro <ni.ferraro@gmail.com> | Thu Sep 17 11:09:08 2020 +0200 |
| tree | 6d480e74c6042797d81931459a7271766ce1856b | |
| parent | 4316b0378dca4fb8d1c585c0dd47bc17739fffc6 [diff] |
Fix #1574: fix naming convention for property-defined sources