Removed tools .placeholder
Removed tools .placeholder


Former-commit-id: 131a19726501fdce6161fe94a1652030d1383782 [formerly 131a19726501fdce6161fe94a1652030d1383782 [formerly 8dd1c16aa007475ac02323b19b8a793ccff8a6f1]]
Former-commit-id: 038efba26170304f1471300b47bd0d05651d5e7e
Former-commit-id: b74ad2c918b88aa464c79bc3ca20ae9c85f9f7ea
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine