Alessandro Pasotti e6b38aff4f Revert "Merge pull request #4087 from elpaso/resource-sharing-plugin" ...

This reverts commit db0fa9ff5b7421262304ce6fb5f6e832db1baa57, reversing
changes made to aaa8c4e492d135210cd989b5e3131384954badd1.

2017-02-01 15:17:17 +01:00

..

.agignore

Revert "Merge pull request #4087 from elpaso/resource-sharing-plugin"

2017-02-01 15:17:17 +01:00

check_spelling.sh

spelling fixes

2017-01-25 16:53:34 +01:00

spelling.dat

spelling fixes

2017-01-25 17:38:01 +01:00

test.sh

[spellcheck] improved script

2017-01-20 15:06:09 +01:00