]> git.rustad.me Git - master/commitdiff
projects / master / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8bf3aa5)
Remove theory file
authorBjørn Rustad <bjorn@rustad.me>
Thu, 29 Jan 2015 10:43:05 +0000 (11:43 +0100)
committerBjørn Rustad <bjorn@rustad.me>
Thu, 29 Jan 2015 10:43:05 +0000 (11:43 +0100)
theory.tex [deleted file] patch | blob | history

diff --git a/theory.tex b/theory.tex
deleted file mode 100644 (file)
index e69de29..0000000
Unnamed repository; edit this file 'description' to name the repository.