diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-08-10 16:53:55 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-08-10 16:53:55 +0200 |
| commit | ffd11bd1aa1392d2f36cbb44404bae98f3843ddf (patch) | |
| tree | ac41d2e5a0cf8ac7547cfbda37e05ae84834bef8 /.gitignore | |
| parent | b45de942fcf81a729db4227bb0ad3dd79fefa864 (diff) | |
reformat for LLNCS
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions