Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rename install directory from DiskuvOCaml to DkML #78

Closed
jonahbeckford opened this issue Nov 19, 2023 · 0 comments
Closed

Rename install directory from DiskuvOCaml to DkML #78

jonahbeckford opened this issue Nov 19, 2023 · 0 comments
Assignees
@jonahbeckford
Milestone
2.1.0

Comments

@jonahbeckford
Copy link
Contributor

No description provided.

@jonahbeckford jonahbeckford added this to the 2.1.0 milestone Nov 19, 2023
@jonahbeckford jonahbeckford self-assigned this Nov 19, 2023
jonahbeckford added a commit to diskuv/dkml-component-opam that referenced this issue Nov 21, 2023
@jonahbeckford
Remove legacy TOPDIR
467e554 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford pushed a commit to diskuv/dkml-ghmirror that referenced this issue Nov 23, 2023
Remove legacy TOPDIR
e379d30 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-runtime-apps that referenced this issue Nov 23, 2023
@jonahbeckford
Rename install dir to DkML or dkml
d05c5f6 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-runtime-apps that referenced this issue Nov 23, 2023
@jonahbeckford
Rename to DkML
d723991 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-compiler that referenced this issue Nov 24, 2023
@jonahbeckford
Remove legacy TOPDIR
aa3df5e 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-component-ocamlcompiler that referenced this issue Nov 24, 2023
@jonahbeckford
Set install directory to DkML or dkml
87a21c2 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-component-ocamlcompiler that referenced this issue Nov 24, 2023
@jonahbeckford
Remove legacy TOPDIR
6b0eccd 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-component-ocamlrun that referenced this issue Nov 24, 2023
@jonahbeckford
Remove legacy TOPDIR
f035182 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-runtime-common that referenced this issue Nov 24, 2023
@jonahbeckford
Rename home directory to DkML
c222b91 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-runtime-common that referenced this issue Nov 24, 2023
@jonahbeckford
Remove legacy TOPDIR
38ae765 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-runtime-common that referenced this issue Nov 24, 2023
@jonahbeckford
Remove legacy TOPDIR (2/n)
a849f62 
Part of diskuv/dkml-installer-ocaml#78
jonahbeckford added a commit to diskuv/dkml-component-opam that referenced this issue Apr 21, 2024
@jonahbeckford
Remove legacy TOPDIR
b1efb29 
Part of diskuv/dkml-installer-ocaml#78
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jonahbeckford jonahbeckford

Labels
None yet
Milestone
2.1.0
Development

No branches or pull requests
1 participant
@jonahbeckford