Skip to content

Commit 4a67662

Browse files
xavierleroyxavierleroy
committed
Move Commandline to the lib/ directory
The Commandline module is reusable in other projects, and its license (GPL) allows such reuse, so its natural place is in lib/ rather than in driver/
1 parent b46c0c0 commit 4a67662

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

‎driver/Commandline.ml renamed to ‎lib/Commandline.ml

File renamed without changes.

‎driver/Commandline.mli renamed to ‎lib/Commandline.mli

File renamed without changes.

0 commit comments

Comments
 (0)