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

Commit

Permalink
fix the commandline sage -dev script
Browse files Browse the repository at this point in the history
  • Loading branch information
vbraun committed Nov 26, 2013
1 parent 2941308 commit 946b5b4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/bin/sage-dev
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import sys
from textwrap import dedent

if __name__ == '__main__':
from sage.dev.sagedev_wrapper import dev as DEV
from sage.dev.sagedev_instance import dev as DEV

class SageHelpFormatter(argparse.HelpFormatter):
"""
Expand Down

0 comments on commit 946b5b4

Please sign in to comment.