diff options
Diffstat (limited to 'plugin/AGENTS')
| -rw-r--r-- | plugin/AGENTS/DEVELOPMENT.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugin/AGENTS/DEVELOPMENT.md b/plugin/AGENTS/DEVELOPMENT.md index 71f9e8e..0725def 100644 --- a/plugin/AGENTS/DEVELOPMENT.md +++ b/plugin/AGENTS/DEVELOPMENT.md @@ -16,7 +16,7 @@ npm run package `npm run package` runs syntax checks and the existing Node tests, then uses vsce through `scripts/package.js` to generate `cpsc-plugin-YYYYMMDD-HHMMSS-commit.vsix`. -Both filename components come from the last commit that touched `plugin/`: its UTC +Both filename components come from the last commit that touched `plugin/` or `.github/`: its UTC commit timestamp and Git short ID. The internal version is `YYYYMMDD.HHMMSS.0+commit`; the numeric time component has no leading zeros (midnight is `0`). For example, the file |