Skip to content
This repository has been archived by the owner on Aug 25, 2023. It is now read-only.

add dj.kill() order by docs #238

Merged
merged 1 commit into from
Apr 28, 2022
Merged

add dj.kill() order by docs #238

merged 1 commit into from
Apr 28, 2022

Conversation

ixcat
Copy link
Contributor

@ixcat ixcat commented Apr 30, 2020

@ixcat ixcat changed the title [WIP] add dj.kill() order by docs (needs docs-parts) add dj.kill() order by docs (needs docs-parts) Aug 8, 2020
@ixcat ixcat marked this pull request as draft August 8, 2020 01:02
@ixcat ixcat changed the title add dj.kill() order by docs (needs docs-parts) add dj.kill() order by docs (Draft: needs docs-parts) Aug 8, 2020
@ixcat
Copy link
Contributor Author

ixcat commented Aug 8, 2020

@ixcat ixcat marked this pull request as ready for review March 24, 2021 20:13
@ixcat ixcat changed the title add dj.kill() order by docs (Draft: needs docs-parts) add dj.kill() order by docs Mar 24, 2021
@CBroz1
Copy link
Contributor

CBroz1 commented Apr 27, 2022

@dimitri-yatsenko - Ready to merge this? I'd like to clear these PRs before any user-contributed PRs

@guzman-raphael guzman-raphael merged commit 139d033 into datajoint:master Apr 28, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants