diff options
Diffstat (limited to 'lists/torsors/title')
| -rw-r--r-- | lists/torsors/title | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lists/torsors/title b/lists/torsors/title deleted file mode 100644 index 3597b97..0000000 --- a/lists/torsors/title +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | Torsor in Toposes | ||