Skip to content

Commit 63ec355

Browse files
rptb1rptb1
committed
Fixing file name in leader comment in response to review <Ravenbrook/mps#166 (comment)>.
1 parent 543bd54 commit 63ec355

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎mps/manual/requirements.pip‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# manual/requirements.txt -- MPS manual build requirements for pip
1+
# manual/requirements.pip -- MPS manual build requirements for pip
22

33
sphinx
44
sphinx-rtd-theme

0 commit comments

Comments
 (0)