Rename pinning.lmp to in.pinning

This commit is contained in:
Ulf R. Pedersen
2017-10-03 11:16:29 +02:00
committed by GitHub
parent e6d687faac
commit 7e8bbe8481