Skip to content

Commit

Permalink
Remove CVS leftovers
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Nov 18, 2018
1 parent fb59d22 commit aa83955
Show file tree
Hide file tree
Showing 8 changed files with 0 additions and 6 deletions.
Binary file modified data/data8-3nil/diag11223.gl.gz
Binary file not shown.
Binary file modified data/data8-3nil/diag22222.gl.gz
Binary file not shown.
1 change: 0 additions & 1 deletion gap/autovars.g
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@
#############################################################################
##

## $Id$

#####################

Expand Down
1 change: 0 additions & 1 deletion gap/enums.gd
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@
#############################################################################
##

## $Id$

###########################################################################
##
Expand Down
1 change: 0 additions & 1 deletion gap/enums.gi
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@
#############################################################################
##

## $Id$

##################

Expand Down
1 change: 0 additions & 1 deletion gap/properties.gi
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@
#############################################################################
##

## $Id$

## The functions in this file are used to test whether a given
## small semigroup has a given property.
Expand Down
1 change: 0 additions & 1 deletion gap/small.gd
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@
#############################################################################
##

## $Id$

###########################################################################
##
Expand Down
1 change: 0 additions & 1 deletion gap/small.gi
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@
#############################################################################
##

## $Id$

###########################################################################
##
Expand Down

0 comments on commit aa83955

Please sign in to comment.