Changeset 1518:897bc8ed1644
- Timestamp:
- 10/18/06 22:23:47 (7 years ago)
- Branch:
- default
- Children:
- 1525:afe3ba0bfc0b, 1699:be8045980b0f, 1703:ee2a9447ed9c
- Location:
- sage/misc
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
sage/misc/hg.py
r1420 r1518 76 76 b = branch_current_hg() 77 77 if b == '': b='main' 78 elif b[-1] == '/': 79 b = b[:-1] 78 80 print("Branch: %s"%b) 79 81 -
sage/misc/misc.py
r1406 r1518 1124 1124 NOTE: If the branch is main, then return an empty string. 1125 1125 """ 1126 if branch[-1] == '/': 1127 branch = branch[:-1] 1126 1128 if branch == 'main': 1127 1129 return ''
Note: See TracChangeset
for help on using the changeset viewer.
