diff options
author | Florian Dold <florian.dold@gmail.com> | 2017-01-13 16:47:09 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2017-01-13 16:47:09 +0100 |
commit | d2302da33223a265dddf50d24c69ba9d5a057827 (patch) | |
tree | ddf0800e4bc3ec647bdd6caf34d8b2a92a2600d5 /.gitmodules | |
parent | 0bfb5b25091a1cbdd9911ae124ae6da35cd2b916 (diff) |
remove redundant fields from ContractPS (#4859)
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions