Skip to content

Commit 4331adf

Browse files
committed
Add specification of Real + related
1 parent f06f770 commit 4331adf

File tree

3 files changed

+462
-0
lines changed

3 files changed

+462
-0
lines changed

doc/Note

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
../docs is full of pdf files rather than the source of the
2+
documents and is listed in .gitignore, so I created this
3+
directory for source of documents (initially just Real)

0 commit comments

Comments
 (0)