diff options
| author | Ignat Beresnev <ignat.beresnev@jetbrains.com> | 2023-02-10 17:24:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-10 17:24:47 +0100 |
| commit | f515abc3118143f1cac62616c02970b2926427a2 (patch) | |
| tree | fc9db8963f928e4b35a7c27649fc52482d02342b /plugins/.gitignore | |
| parent | e2351ebcb15a745551fef47c707f0e4e65a707cd (diff) | |
| download | dokka-f515abc3118143f1cac62616c02970b2926427a2.tar.gz dokka-f515abc3118143f1cac62616c02970b2926427a2.tar.bz2 dokka-f515abc3118143f1cac62616c02970b2926427a2.zip | |
Display source set / platform indicators at all times (#2848)
Fixes #2847
Diffstat (limited to 'plugins/.gitignore')
0 files changed, 0 insertions, 0 deletions