From cee737be953cbcee4d78951ad627c75a39a6ae9e Mon Sep 17 00:00:00 2001 From: Francesco Mazzoli Date: Mon, 28 Jan 2013 17:07:12 +0000 Subject: [PATCH] docs top level --- docs/InterimReport.agda => InterimReport.agda | 0 docs/InterimReport.bib => InterimReport.bib | 0 docs/InterimReport.tex => InterimReport.tex | 0 docs/Makefile => Makefile | 0 docs/idris-proposal.tex => idris-proposal.tex | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename docs/InterimReport.agda => InterimReport.agda (100%) rename docs/InterimReport.bib => InterimReport.bib (100%) rename docs/InterimReport.tex => InterimReport.tex (100%) rename docs/Makefile => Makefile (100%) rename docs/idris-proposal.tex => idris-proposal.tex (100%) diff --git a/docs/InterimReport.agda b/InterimReport.agda similarity index 100% rename from docs/InterimReport.agda rename to InterimReport.agda diff --git a/docs/InterimReport.bib b/InterimReport.bib similarity index 100% rename from docs/InterimReport.bib rename to InterimReport.bib diff --git a/docs/InterimReport.tex b/InterimReport.tex similarity index 100% rename from docs/InterimReport.tex rename to InterimReport.tex diff --git a/docs/Makefile b/Makefile similarity index 100% rename from docs/Makefile rename to Makefile diff --git a/docs/idris-proposal.tex b/idris-proposal.tex similarity index 100% rename from docs/idris-proposal.tex rename to idris-proposal.tex -- 2.30.2