diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-03-29 22:48:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-29 22:48:48 +0200 |
| commit | 92b6c8095acc8348da7657dde357202840c26382 (patch) | |
| tree | cdcc6bab182562f7aa56017e8d59c8adb4331a02 /modules/dlscript | |
| parent | 000e8730088ed241439a311c1bd0167f741ffbd1 (diff) | |
| parent | 669956849aa7c5f97c0b7fde16a871e933f0f019 (diff) | |
Merge pull request #8200 from bojidar-bg/doctool-make-properties
Update classes.xml to master version, add a small feature to doc_status
[ci skip]
Diffstat (limited to 'modules/dlscript')
0 files changed, 0 insertions, 0 deletions