diff options
author | Christoph Vigano <cvigano@informatik.uni-bremen.de> | 2015-09-21 21:13:03 +0200 |
---|---|---|
committer | Christoph Vigano <cvigano@informatik.uni-bremen.de> | 2015-09-21 21:13:03 +0200 |
commit | 29d59144813997622f75c725864d36c5870dae5f (patch) | |
tree | a594efe7f5f21f1348a434ddad777788f32cdc51 /.gitignore | |
parent | 0d67ce0fce78ef89f9bcb23aca690d1b967e5ce3 (diff) | |
parent | 9c822cae0cdc6693dd08df3379642d7c4b885eef (diff) |
Merge branch 'master' of ssh://aur4.archlinux.org/st
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions