Padre::Locker(3pm)

The Padre Multi-Resource Lock Manager

NAME

Padre::Locker - The Padre Multi-Resource Lock Manager

History

Debian 8 (Jessie): the text shown here
Debian 7 (Wheezy)
Debian 6.0 (Squeeze)