comparison: docs/Writerside/cfg/buildprofiles.xml
docs/Writerside/cfg/buildprofiles.xml
- changeset 1544
- 8fc6f4cdc5b0
- parent 1253
- 2819ae724034
equal
deleted
inserted
replaced
| 1543:7b66371d6da3 | 1544:8fc6f4cdc5b0 |
|---|
| 1543:7b66371d6da3 | 1544:8fc6f4cdc5b0 |
|---|