diff options
Diffstat (limited to 'testlabl/dirs_poly')
| -rw-r--r-- | testlabl/dirs_poly | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testlabl/dirs_poly b/testlabl/dirs_poly deleted file mode 100644 index 3aec606ed4..0000000000 --- a/testlabl/dirs_poly +++ /dev/null @@ -1 +0,0 @@ -bytecomp byterun driver parsing stdlib tools toplevel typing utils otherlibs/labltk/browser/searchpos.ml |