Changeset 554debd in mainline for tools/config.py

Timestamp:

2010-12-11T21:52:46Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

5174c62, 96b02eb9

Parents:

97d17fe

Message:

Remove add_device_guard mutex as changeset jakub@… made it unnecessary.

(No files)