tree 1c9163c39a06410c2e26b4ffd60e44cffe42af4d
parent 99087c7226f5cb4018b83dc568f93fc53c9a142a
author Radek Krejci <rkrejci@cesnet.cz> 1456495492 +0100
committer Radek Krejci <rkrejci@cesnet.cz> 1456495492 +0100

session MAINTENANCE add header file for compatibility with BSD