[PURRS-devel] [GIT] purrs/purrs(master): Renamed.

12 Apr 2021


      Module: purrs/purrs
Branch: master
Commit: 14b8474a6e52f9da54a2532cc4a231a92303bd41
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=14b8474a6...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Apr 12 13:14:08 2021 +0200
Renamed.
---
.cvsignore => .gitignore | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/.cvsignore b/.gitignore
similarity index 100%
rename from .cvsignore
rename to .gitignore