diff options
| author | Jakob Unterwurzacher | 2020-08-16 12:48:16 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2020-08-16 12:50:33 +0200 |
| commit | ee5ab1cc29c6f5ff6061a88b742d5ff88de40802 (patch) | |
| tree | 023406f3b09208a145d8cec8ebe81d9ebd62e09d /package-source.bash | |
| parent | 94e8fc12ea5756a130e7ac9ed67ddd519b5f3a22 (diff) | |
v2api: rename "File2" to just "File"
Rename the symbols and the files.
Diffstat (limited to 'package-source.bash')
0 files changed, 0 insertions, 0 deletions