New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Configure git checkout to manage $Id$ #26

Closed

HDouss opened this issue Jan 31, 2020 · 1 comment · Fixed by #33

Labels

Milestone

Owner

HDouss commented Jan 31, 2020

.gitattributes file should add the ident attribute to (at least) java files in order to have the version tag in javadoc with a proper id.

HDouss added the enhancement label

HDouss added this to the 0.1 milestone

HDouss added a commit that referenced this issue


          #26 add ident to gitattributes

0e5a6a8

HDouss mentioned this issue

#26 add ident to java files in gitattributes #33

Merged

github-actions bot closed this as completed in #33

Owner Author

HDouss commented Feb 2, 2020

Resolved by PR #33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment