paul 0b19d39f59 Generated file		2020-02-24 17:19:41 +00:00
petrol-theme-pkg.el	Initial copy from cloud-theme and bulk rename.	2020-02-23 17:56:18 -05:00
petrol-theme.el	Turn on rainbow-mode when loading the file	2020-02-24 15:29:19 +00:00