diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-19 14:02:54 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-19 14:02:54 +0100 |
| commit | 56b67a381ae2f9cb83f11e678dedfbb0b8c439b9 (patch) | |
| tree | 7548b48244ce61061c1de7462fae43564d3c91fa /.gitignore | |
| parent | 4be76ca4d936f26e5c03b4505189cc7559e7d2ca (diff) | |
Added tips section on version control with tagging
In the "Tips" section of `README.md', a section on version control was
added and a first tip regarding tags was added to guide (new) users on how
to effectively define and use tags. As a result, in the checklist, adding a
`v0' tag is now also suggested.
Some minor typos were also fixed.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions