|
windows
|
Use GetSystemTimeAsFileTime on older Windows
|
2020-06-02 10:30:44 +08:00 |
|
.gitignore
|
Update .gitignore files
|
2020-05-19 17:49:21 +06:00 |
|
getline.c
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
getline.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_buffer.c
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_buffer.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_directory.h
|
Update C support header files
|
2020-05-24 00:41:53 +06:00 |
|
idris_file.c
|
Add sys/time.h to satisfy xcode.
|
2020-06-01 00:48:19 +03:00 |
|
idris_file.h
|
Rename some file/dir manipulation functions
|
2020-05-21 18:32:35 +06:00 |
|
idris_net.c
|
Move network support to libidris2_support
|
2020-05-23 15:52:33 +01:00 |
|
idris_net.h
|
Move network support to libidris2_support
|
2020-05-23 15:52:33 +01:00 |
|
idris_support.c
|
Remove dependency on pthreads on Windows
|
2020-05-24 19:56:26 +02:00 |
|
idris_support.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
Makefile
|
Use GetSystemTimeAsFileTime on older Windows
|
2020-06-02 10:30:44 +08:00 |
