comparison: docs/Writerside/cfg/buildprofiles.xml
docs/Writerside/cfg/buildprofiles.xml
- changeset 1508
- dfc0ddd9571e
- parent 1253
- 2819ae724034
equal
deleted
inserted
replaced
| 1507:f4010cda9a2a | 1508:dfc0ddd9571e |
|---|
| 1507:f4010cda9a2a | 1508:dfc0ddd9571e |
|---|