diff options
Diffstat (limited to 'dist/Devel-PPPort/parts/todo/5021004')
| -rw-r--r-- | dist/Devel-PPPort/parts/todo/5021004 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dist/Devel-PPPort/parts/todo/5021004 b/dist/Devel-PPPort/parts/todo/5021004 new file mode 100644 index 0000000000..3a62526e13 --- /dev/null +++ b/dist/Devel-PPPort/parts/todo/5021004 @@ -0,0 +1,5 @@ +5.021004 +cv_set_call_checker_flags # U +grok_infnan # U +isinfnan # U +sync_locale # U |