Skip to content

Added test for #1305#1

Closed
mmhat wants to merge 1 commit intonikita-volkov:masterfrom
mmhat:maps-to-directory-tree
Closed

Added test for #1305#1
mmhat wants to merge 1 commit intonikita-volkov:masterfrom
mmhat:maps-to-directory-tree

Conversation

@mmhat
Copy link

@mmhat mmhat commented Oct 6, 2022

  • Added DirectoryTreeOptions type that allows one to control the behaviout or to-directory-tree
  • Added command line flags for these options: --allow-parent-directory and --allow-absolute-paths
  • Simplified code a bit

 * Added DirectoryTreeOptions type that allows one to control the
   behaviout or to-directory-tree
 * Added command line flags for these options: --allow-parent-directory
   and --allow-absolute-paths
 * Simplified code a bit
@mmhat
Copy link
Author

mmhat commented Jan 31, 2026

Superseded by dhall-lang#2682.

@mmhat mmhat closed this Jan 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant