mirror of
https://github.com/apple/pkl.git
synced 2026-01-13 15:13:38 +01:00
Copyright headers in Java and Kotlin source files should be block comments #227
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @odenix on GitHub (Oct 23, 2024).
Currently, the copyright headers in Java and Kotlin source files are doc comments (
/** */) instead of block comments (/* */).As I've never seen this elsewhere, I believe this is accidental.
I noticed this because IntelliJ warns about empty lines that aren't marked up with
<p>in doc comments.