diff options
| author | Eduardo Julian | 2018-12-06 23:04:41 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-12-06 23:04:41 -0400 |
| commit | 9f07e772cd9758ca5f4c516e78d50a1db581c910 (patch) | |
| tree | 12a736cb76b99972258d79867cf7ee53b0a1b48a /.gitignore | |
| parent | dbcf62dcd86798bc1ce2d3bb9c61dbb189fb8fc9 (diff) | |
Adapted other world signatures to the capability model.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions