www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit b30af1d3183168c9d7607c0626f16294eeea1dd3
parent c58efdf9d2b4d2eb921a991f976b452b45ac10b1
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Mon, 20 Mar 2017 17:49:28 +0100

Renamed the package thesis → phc-thesis (part 2: file rename)

Diffstat:

Rscribblings/thesis.scrbl -> scribblings/phc-thesis.scrbl | 0


1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/scribblings/thesis.scrbl b/scribblings/phc-thesis.scrbl