diff options
| author | Jason Gross | 2018-01-16 12:46:11 -0500 |
|---|---|---|
| committer | Jason Gross | 2018-01-16 12:46:11 -0500 |
| commit | d034d8359512b509788a5c08de153b1ade670d66 (patch) | |
| tree | b5ab782131a1af0c294154edd06d9cb767630ef9 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 7b036f9388185bc3cb5264422b5a8f3d33ae9c4a (diff) | |
Update lablgtk check to be more general
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions