diff options
| author | Eduardo Julian | 2019-12-30 03:14:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-12-30 03:14:54 -0400 |
| commit | 4deb3fc67c9c0cbf04ec8ba7c21b1558b0b415cf (patch) | |
| tree | 6cbc48d6fcf8efd9436c065cd26f358915a21feb /.gitignore | |
| parent | fb7f85d1095cb9ba6a402f18e701a4b14b7657dc (diff) | |
Re-located generation extensions for JVM.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions