diff options
author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-06-18 17:15:01 +0200 |
---|---|---|
committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-06-18 17:15:01 +0200 |
commit | 08705c0399240f984cf54294a369cb3a896e089a (patch) | |
tree | a6ab818fa1bb4be11df05e9876f50df5375437a7 /m4 | |
parent | 4399f65e6174da785ebb673fe753f1bc61b57ebf (diff) | |
download | dabmod-08705c0399240f984cf54294a369cb3a896e089a.tar.gz dabmod-08705c0399240f984cf54294a369cb3a896e089a.tar.bz2 dabmod-08705c0399240f984cf54294a369cb3a896e089a.zip |
Fix compilation on some older platforms
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions