2024-06-28 11:56:57 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<!DOCTYPE instance-profile
|
|
|
|
|
SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd">
|
|
|
|
|
|
2024-06-28 12:15:55 +02:00
|
|
|
<instance-profile id="KleinServer"
|
|
|
|
|
name="KleinServer"
|
2024-06-28 11:56:57 +02:00
|
|
|
start-page="Overview.md">
|
|
|
|
|
|
|
|
|
|
<toc-element topic="Overview.md"/>
|
2024-06-28 12:52:21 +02:00
|
|
|
<toc-element topic="ToDo.md"/>
|
2024-06-28 11:56:57 +02:00
|
|
|
</instance-profile>
|
