diff options
-rw-r--r-- | bugs/gnu/19784/limit | 1 | ||||
-rw-r--r-- | bugs/gnu/25023/separator | 1 | ||||
-rw-r--r-- | bugs/gnu/26545/size | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/bugs/gnu/19784/limit b/bugs/gnu/19784/limit new file mode 100644 index 0000000..e440e5c --- /dev/null +++ b/bugs/gnu/19784/limit @@ -0,0 +1 @@ +3 \ No newline at end of file diff --git a/bugs/gnu/25023/separator b/bugs/gnu/25023/separator new file mode 100644 index 0000000..bbeba64 --- /dev/null +++ b/bugs/gnu/25023/separator @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/bugs/gnu/26545/size b/bugs/gnu/26545/size new file mode 100644 index 0000000..c793025 --- /dev/null +++ b/bugs/gnu/26545/size @@ -0,0 +1 @@ +7 \ No newline at end of file |