diff options
| author | TingPing <tngpng@gmail.com> | 2013-02-05 16:25:02 -0800 |
|---|---|---|
| committer | TingPing <tngpng@gmail.com> | 2013-02-05 16:25:02 -0800 |
| commit | 1d563b2e14ec973639082c99a241c26961ada578 (patch) | |
| tree | ea9bfb4697eefa8314271dd2b71d4f6e713b0e00 /src/htm/Properties | |
| parent | 85534f123bd72d4c92a0bc9a1791a29eadcfbbcd (diff) | |
| parent | 862a02ce63804631398c97de0129319001f437ba (diff) | |
Merge pull request #398 from thor/patch-1
change URL for "Contents" option in "Help" menu
Diffstat (limited to 'src/htm/Properties')
0 files changed, 0 insertions, 0 deletions