Rumperuu/footnotes
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

chore: remove date info (#94)

Browse source 
* chore: remove @lastmodified tags

* chore: remove @date tags

* chore: remove timestamps

* chore: remove timestamps

* chore: minor formatting fixes
This commit is contained in:
Ben Goldsworthy 2021-04-15 05:09:23 +01:00 • committed by GitHub
parent b14a2d80bb
commit 27d3e6269e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
30 changed files with 154 additions and 304 deletions
Download patch file Download diff file Expand all files Collapse all files

7
css/dev-tooltips.css
View file

@ -1,15 +1,8 @@
/*<?php for docblocks
/**
* Created by Stefan Herndler.
* User: Stefan
* Created-Date: 15.05.14
* Created-Time: 16:21
* Since: 1.0
*
* Additional stylesheet needed when tooltips (jQuery or alternative) are enabled.
*
* @version 2.5.8
* @lastmodified 2021-02-28T1302+0100
*
* System of unified minified style sheets tailored to the instance.
* @since 2.5.5