diff options
author | raveit65 <[email protected]> | 2018-12-25 11:37:45 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2018-12-25 11:37:45 +0100 |
commit | 4602ece9e4bc15581fe87cb632652257cf503c65 (patch) | |
tree | 5754806b51528bdc37685fb46cbd72941bf3b8c1 /help/ps | |
parent | 9ecc6730f6123b1875b1e586fadef2716e76adce (diff) | |
download | mate-user-share-4602ece9e4bc15581fe87cb632652257cf503c65.tar.bz2 mate-user-share-4602ece9e4bc15581fe87cb632652257cf503c65.tar.xz |
drop obsolete configure option from distcheck
Diffstat (limited to 'help/ps')
0 files changed, 0 insertions, 0 deletions