diff options
| author | Eduardo Julian | 2018-07-03 19:49:04 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-03 19:49:04 -0400 |
| commit | aac5a7796939cd705d955acb616cbff38474606d (patch) | |
| tree | 567f60f65afb2a94299336a72ea105f00a16b63d /.gitignore | |
| parent | d3f5e1f4baa667bc2eb72edd542cf5d8cd3924ce (diff) | |
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":representation".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions