comparison: docs/Writerside/cfg/buildprofiles.xml
docs/Writerside/cfg/buildprofiles.xml
- changeset 1437
- dde4903c0fd7
- parent 1253
- 2819ae724034
equal
deleted
inserted
replaced
| 1436:c331add0d9f8 | 1437:dde4903c0fd7 |
|---|
| 1436:c331add0d9f8 | 1437:dde4903c0fd7 |
|---|