Files

 master

/

generate

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

EduardoRFS

generate: support override with source github:

May 4, 2021

12db37f · May 4, 2021

History

History

/

generate

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
src		src	generate: support override with source github:	May 4, 2021
dune-project		dune-project	generate: setup initial project using esy and dune	Aug 31, 2020
generate.opam		generate.opam	generate: setup initial project using esy and dune	Aug 31, 2020
View all files