mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
DDC-784: Add Windows CLI command and remove doctrine.php #965
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @doctrinebot on GitHub (Sep 1, 2010).
Originally assigned to: @beberlei on GitHub.
Jira issue originally created by user @beberlei:
Add a Windows CLI .bat and remove the annoying doctrine.php that duplicates doctrine binary.
@doctrinebot commented on GitHub (Sep 13, 2010):
Comment created by balupton:
What about OSX users?
@doctrinebot commented on GitHub (Sep 13, 2010):
Comment created by @beberlei:
What about them? Don't they have a shell that listens to #!/bin/sh ?
@doctrinebot commented on GitHub (Sep 30, 2010):
Comment created by @beberlei:
Implemented
@doctrinebot commented on GitHub (Sep 30, 2010):
Issue was closed with resolution "Fixed"