now that doc server is up, remove markdown files #688

muellerr · 2022-09-15T13:58:30+02:00

muellerr commented

2022-09-15 13:58:30 +02:00

No description provided.

muellerr added 1 commit 2022-09-15 13:58:32 +02:00

fsfw/fsfw/pipeline/head Build queued... Details

fsfw/fsfw/pipeline/pr-development Build started... Details

0042372cb6

now that doc server is up, remove markdown files

muellerr requested review from mohr 2022-09-15 13:58:36 +02:00

muellerr added this to the v6.0.0 milestone 2022-09-16 13:12:41 +02:00

mohr refused to review 2022-09-16 13:33:50 +02:00

mohr changed title from ~~now that doc server is up, remove markdown files~~ to WIP: now that doc server is up, remove markdown files

2022-09-16 13:34:43 +02:00

mohr commented

2022-09-16 13:35:19 +02:00

I would like to keep this open until the documentation is in the public web.

Assigning WIP to keep it visible but open.

I would like to keep this open until the documentation is in the public web. Assigning WIP to keep it visible but open.

mohr approved these changes 2022-09-30 15:10:33 +02:00

mohr left a comment

#694 is merged

mohr changed title from ~~WIP: now that doc server is up, remove markdown files~~ to now that doc server is up, remove markdown files

2022-09-30 15:10:37 +02:00

mohr referenced this issue from a commit

2022-10-10 15:04:12 +02:00

Merge pull request 'now that doc server is up, remove markdown files' (#688) from mueller/remove-markdown-docs into development

mohr merged commit 6ec18171a8 into development

2022-10-10 15:04:12 +02:00

mohr deleted branch mueller/remove-markdown-docs

2022-10-10 15:04:17 +02:00

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

2 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: fsfw/fsfw#688