diff options
Diffstat (limited to 'ports/gettimeofday')
| -rw-r--r-- | ports/gettimeofday/CONTROL | 3 | ||||
| -rw-r--r-- | ports/gettimeofday/vcpkg.json | 6 |
2 files changed, 6 insertions, 3 deletions
diff --git a/ports/gettimeofday/CONTROL b/ports/gettimeofday/CONTROL deleted file mode 100644 index d1b85e05f..000000000 --- a/ports/gettimeofday/CONTROL +++ /dev/null @@ -1,3 +0,0 @@ -Source: gettimeofday -Version: 2017-10-14-3 -Description: An implementation of gettimeofday for WIN32 diff --git a/ports/gettimeofday/vcpkg.json b/ports/gettimeofday/vcpkg.json new file mode 100644 index 000000000..9528e9a2c --- /dev/null +++ b/ports/gettimeofday/vcpkg.json @@ -0,0 +1,6 @@ +{ + "name": "gettimeofday", + "version-string": "2017-10-14", + "port-version": 4, + "description": "An implementation of gettimeofday for WIN32" +} |