# HG changeset patch # User Eugen Sawin # Date 1295270334 -3600 # Node ID 0efad4a12d71a58e5c58ed1e7e646267e4115ebc # Parent bb061db1a086390345d00f740afb4cbddf79a88b Minor change on links text. diff -r bb061db1a086 -r 0efad4a12d71 factory/v2011/links.html --- a/factory/v2011/links.html Mon Jan 17 14:01:59 2011 +0100 +++ b/factory/v2011/links.html Mon Jan 17 14:18:54 2011 +0100 @@ -16,7 +16,7 @@ My advisor during my bachelor thesis and creator of the brainiac theorem prover called E. -

Friends

+

Friends (with websites)