python
diff --git a/‎Doc/ref/fixps.py‎
Lines changed: 0 additions & 26 deletions b/‎Doc/ref/fixps.py‎
Lines changed: 0 additions & 26 deletions
diff --git a/‎Doc/ref/makeMIFs.py‎
Lines changed: 0 additions & 28 deletions b/‎Doc/ref/makeMIFs.py‎
Lines changed: 0 additions & 28 deletions
diff --git a/‎Doc/ref/ref.book‎
-12 KB b/‎Doc/ref/ref.book‎
-12 KB
diff --git a/‎Doc/ref/ref.pdf‎
-594 KB b/‎Doc/ref/ref.pdf‎
-594 KB
diff --git a/‎Doc/ref/ref.ps‎
-720 KB b/‎Doc/ref/ref.ps‎
-720 KB