Skip to content
This repository has been archived by the owner on Aug 23, 2024. It is now read-only.

Commit

Permalink
doc: Bump year.
Browse files Browse the repository at this point in the history
  • Loading branch information
@mpreiner
mpreiner committed Dec 2, 2019
1 parent 49069c1 commit fafab47
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/conf.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@

# General information about the project.
project = 'Boolector'
copyright = '2007-2018 The authors of Boolector'
copyright = '2007-2019 The authors of Boolector'

# The version info for the project you're documenting, acts as replacement for
# |version| and |release|, also used in various other places throughout the
Expand Down

0 comments on commit fafab47

Please sign in to comment.