diff options
| author |  diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2006-10-04 09:12:18 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2006-10-04 09:12:18 +0000 |
| commit | 35369fe1badfe59e9fb173a552ce93ff2d073724 (patch) | |
| tree | 43cf78d2df307960bcd7a08e2f52ef41504d9d97 /DOCS/xml/pl/users-vs-dev.xml | |
| parent | 37de6c6c3933f9a6e5c1aad06e21928111f03fd0 (diff) | |
Add a note about checking XML documentation build.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@20031 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'DOCS/xml/pl/users-vs-dev.xml')
0 files changed, 0 insertions, 0 deletions