diff options
| author | Martin Mozina <martin.mozina@fri.uni-lj.si> | 2018-04-04 10:14:41 +0200 |
|---|---|---|
| committer | Martin Mozina <martin.mozina@fri.uni-lj.si> | 2018-04-04 10:14:41 +0200 |
| commit | ad23c3405e0026933d8a8f81ccaafb1f649f1fdf (patch) | |
| tree | 9fa5041e2c6ffe805a988f3a4ec2d2aa91f37b8c /.gitignore | |
| parent | 3dda20d23d5ea18f74568ea99ad6a27ce66c5d91 (diff) | |
Shorter rules section, better transition from section 2 to 3.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions