diff options
author | valdar | 2020-01-21 15:16:23 +0100 |
---|---|---|
committer | valdar | 2020-01-21 15:16:23 +0100 |
commit | 457a378123f7c44f80b4bd97537dceb309ab3fc1 (patch) | |
tree | 2885a21786e5602efa51261d4ff69cc9bf13bbac /wesnoth-devel.desktop | |
parent | bd823127848fa70ab736341107e9fc0b365d3248 (diff) | |
download | aur-457a378123f7c44f80b4bd97537dceb309ab3fc1.tar.gz |
Polished man pages extension and added prefsdir= to the build instructions
Diffstat (limited to 'wesnoth-devel.desktop')
0 files changed, 0 insertions, 0 deletions