[gcc/marxin/heads/cc-renaming] (3 commits) Manual changes for .cc renaming.

[Martin Liska]

The branch 'marxin/heads/cc-renaming' was updated to point to:

 757edf7a1fb... Manual changes for .cc renaming.

It previously pointed to:

 cc40d68c6d5... Manual changes for .cc renaming.

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  cc40d68... Manual changes for .cc renaming.
  00a8c65... Automatic renaming
  137fc15... Rename files.


Summary of changes (added commits):
-----------------------------------

  757edf7... Manual changes for .cc renaming.
  c5326b1... Automatic renaming
  37a4339... Rename files.